net.automatalib.util.automata.conformance

Class IncrementalWMethodTestsIterator<I>

java.lang.Object

net.automatalib.util.automata.conformance.IncrementalWMethodTestsIterator<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterator<Word<I>>

public class IncrementalWMethodTestsIterator<I>
extends Object
implements Iterator<Word<I>>

An iterator that enumerates the test cases as obtained through the W method conformance test in an incremental fashion.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
IncrementalWMethodTestsIterator(Alphabet<I> alphabet)

Method Summary

Modifier and Type	Method and Description
int	getMaxDepth()
boolean	hasNext()
Word<I>	next()
void	remove()
void	setMaxDepth(int maxDepth)
void	update(UniversalDeterministicAutomaton<?,I,?,?,?> automaton)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

IncrementalWMethodTestsIterator

public IncrementalWMethodTestsIterator(Alphabet<I> alphabet)

Method Detail

getMaxDepth

public int getMaxDepth()

setMaxDepth

public void setMaxDepth(int maxDepth)

update

public void update(UniversalDeterministicAutomaton<?,I,?,?,?> automaton)

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Word<I>>

next

public Word<I> next()

Specified by:

next in interface Iterator<Word<I>>

remove

public void remove()

Specified by:

remove in interface Iterator<Word<I>>