public final class AllUndefinedInputsIterator<S,I> extends AbstractTwoLevelIterator<S,I,TS.TransRef<S,I,?>>
Constructor and Description |
---|
AllUndefinedInputsIterator(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 l1Object,
I l2Object) |
protected Iterator<I> |
l2Iterator(S state) |
advance, hasNext, next, nextL1, 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 l1Object, I l2Object)
combine
in class AbstractTwoLevelIterator<S,I,TS.TransRef<S,I,?>>
Copyright © 2019. All rights reserved.