public final class AllDefinedInputsIterator<S,I> extends AbstractTwoLevelIterator<S,I,TS.TransRef<S,I,?>>
Constructor and Description |
---|
AllDefinedInputsIterator(Iterator<? extends S> stateIt,
TransitionSystem<S,I,?> ts,
Iterable<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
protected TS.TransRef<S,I,?> |
combine(S state,
I input) |
protected Iterator<I> |
l2Iterator(S state) |
hasNext, next, remove
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEachRemaining
protected Iterator<I> l2Iterator(S state)
l2Iterator
in class AbstractTwoLevelIterator<S,I,TS.TransRef<S,I,?>>
protected TS.TransRef<S,I,?> combine(S state, I input)
combine
in class AbstractTwoLevelIterator<S,I,TS.TransRef<S,I,?>>
Copyright © 2020. All rights reserved.