Package net.automatalib.util.automaton.conformance

Class SPATestsIterator<I>

java.lang.Object

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

net.automatalib.util.automaton.conformance.SPATestsIterator<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterator<Word<I>>

public class SPATestsIterator<I>
extends AbstractTwoLevelIterator<I,Word<I>,Word<I>>

A conformance test iterator for SPAs that applies a given regular conformance test to each procedure of the SPA.

Constructor Summary

Constructors

Constructor	Description
SPATestsIterator(SPA<?,I> spa, BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)
SPATestsIterator(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet, BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)

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

SPATestsIterator

public SPATestsIterator(SPA<?,I> spa,
                        BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)

SPATestsIterator

public SPATestsIterator(SPA<?,I> spa,
                        ProceduralInputAlphabet<I> alphabet,
                        BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)

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>>