Uses of Package
de.learnlib.counterexamples

Classes in de.learnlib.counterexamples used by de.learnlib.counterexamples

Class and Description
GlobalSuffixFinder Interface for a global suffix finder.
LocalSuffixFinder Suffix-based local counterexample analyzer.