Package de.learnlib.counterexample

This package contains a collection of standard algorithms for handling counterexamples in automata learning.

Interface Summary

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

Class Summary

Class	Description
AcexLocalSuffixFinder	Wraps a AbstractNamedAcexAnalyzer.
GlobalSuffixFinders	A collection of suffix-based global counterexample analyzers.
LocalSuffixFinders	A collection of suffix-based local counterexample analyzers.