Constructor and Description |
---|
IncrementalWMethodTestsIterator(Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
int |
getMaxDepth() |
boolean |
hasNext() |
Word<I> |
next() |
void |
remove() |
void |
setMaxDepth(int maxDepth) |
void |
update(UniversalDeterministicAutomaton<?,I,?,?,?> automaton) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEachRemaining
public int getMaxDepth()
public void setMaxDepth(int maxDepth)
public void update(UniversalDeterministicAutomaton<?,I,?,?,?> automaton)
Copyright © 2015. All rights reserved.