Class IncrementalWMethodTestsIterator<I>
- java.lang.Object
-
- net.automatalib.util.automaton.conformance.IncrementalWMethodTestsIterator<I>
-
-
Constructor Summary
Constructors Constructor Description IncrementalWMethodTestsIterator(Alphabet<I> alphabet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getMaxDepth()
boolean
hasNext()
Word<I>
next()
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, remove
-
-
-
-
Method Detail
-
getMaxDepth
public int getMaxDepth()
-
setMaxDepth
public void setMaxDepth(int maxDepth)
-
update
public void update(UniversalDeterministicAutomaton<?,I,?,?,?> automaton)
-
-