net.automatalib.util.automata.conformance

Class WMethodTestsIterator<I>

java.lang.Object

net.automatalib.commons.util.collections.ThreeLevelIterator<List<I>,Word<I>,Word<I>,Word<I>>

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

All Implemented Interfaces:

Iterator<Word<I>>

public class WMethodTestsIterator<I>
extends ThreeLevelIterator<List<I>,Word<I>,Word<I>,Word<I>>

Constructor Summary

Constructors

Constructor and Description
WMethodTestsIterator(Alphabet<I> alphabet, UniversalDeterministicAutomaton<?,I,?,?,?> automaton, int maxDepth)

Method Summary

Modifier and Type	Method and Description
protected Word<I>	combine(List<I> middle, Word<I> prefix, Word<I> suffix)
protected Iterator<Word<I>>	l2Iterator(List<I> l1Object)
protected Iterator<Word<I>>	l3Iterator(List<I> l1Object, Word<I> l2Object)

Methods inherited from class net.automatalib.commons.util.collections.ThreeLevelIterator

hasNext, next, remove

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

WMethodTestsIterator

public WMethodTestsIterator(Alphabet<I> alphabet,
                            UniversalDeterministicAutomaton<?,I,?,?,?> automaton,
                            int maxDepth)

Method Detail

l2Iterator

protected Iterator<Word<I>> l2Iterator(List<I> l1Object)

Specified by:

l2Iterator in class ThreeLevelIterator<List<I>,Word<I>,Word<I>,Word<I>>

l3Iterator

protected Iterator<Word<I>> l3Iterator(List<I> l1Object,
                                       Word<I> l2Object)

Specified by:

l3Iterator in class ThreeLevelIterator<List<I>,Word<I>,Word<I>,Word<I>>

combine

protected Word<I> combine(List<I> middle,
                          Word<I> prefix,
                          Word<I> suffix)

Specified by:

combine in class ThreeLevelIterator<List<I>,Word<I>,Word<I>,Word<I>>