Package net.automatalib.util.automaton.conformance

Class Summary

Class	Description
IncrementalWMethodTestsIterator<I>	An iterator that enumerates the test cases as obtained through the W method conformance test in an incremental fashion.
SBAWMethodTestsIterator<I>	A conformance test iterator for SBAs that is based on the W-method.
SPATestsIterator<I>	A conformance test iterator for SPAs that applies a given regular conformance test to each procedure of the SPA.
SPMMWMethodTestsIterator<I,O>	A conformance test iterator for SPMMs that is based on the W-method.
WMethodTestsIterator<I>	Iterator that returns test words generated by the W method.
WpMethodTestsIterator<I>	Iterator that returns test words generated by the partial W method.