Package de.learnlib.counterexamples

Interface Summary

Interface	Description
GlobalSuffixFinder<I,O>	Interface for a global suffix finder.
LocalSuffixFinder<I,O>	Suffix-based local counterexample analyzer.

Class Summary

Class	Description
GlobalSuffixFinders	A collection of suffix-based global counterexample analyzers.
LocalSuffixFinders	A collection of suffix-based local counterexample analyzers.