Package net.automatalib.util.automaton.conformance

Class SPMMWMethodTestsIterator<I,O>

java.lang.Object

net.automatalib.common.util.collection.AbstractTwoLevelIterator<I,Word<I>,Word<I>>

net.automatalib.util.automaton.conformance.SPMMWMethodTestsIterator<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

Iterator<Word<I>>

public class SPMMWMethodTestsIterator<I,O>
extends AbstractTwoLevelIterator<I,Word<I>,Word<I>>

A conformance test iterator for SPMMs that is based on the W-method.

See Also:

WMethodTestsIterator

Constructor Summary

Constructors

Constructor	Description
SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm)
SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet)
SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet, int maxDepth)

Method Summary

Modifier and Type	Method	Description
protected Word<I>	combine(I callSymbol, Word<I> testSequence)
protected Iterator<Word<I>>	l2Iterator(I callSymbol)

Methods inherited from class net.automatalib.common.util.collection.AbstractTwoLevelIterator

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

SPMMWMethodTestsIterator

public SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm)

SPMMWMethodTestsIterator

public SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm,
                                ProceduralInputAlphabet<I> alphabet)

SPMMWMethodTestsIterator

public SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm,
                                ProceduralInputAlphabet<I> alphabet,
                                int maxDepth)

Method Detail

l2Iterator

protected Iterator<Word<I>> l2Iterator(I callSymbol)

Specified by:

l2Iterator in class AbstractTwoLevelIterator<I,Word<I>,Word<I>>

combine

protected Word<I> combine(I callSymbol,
                          Word<I> testSequence)

Specified by:

combine in class AbstractTwoLevelIterator<I,Word<I>,Word<I>>