Uses of Package
de.learnlib.counterexample

Packages that use de.learnlib.counterexample

Package	Description
de.learnlib.algorithm.dhc.mealy
de.learnlib.algorithm.lstar.ce
de.learnlib.algorithm.observationpack	This package (and sub-packages) provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis Active learning of interface programs by Falk Howar.
de.learnlib.algorithm.observationpack.dfa
de.learnlib.algorithm.observationpack.mealy
de.learnlib.algorithm.observationpack.moore
de.learnlib.counterexample	This package contains a collection of standard algorithms for handling counterexamples in automata learning.

Classes in de.learnlib.counterexample used by de.learnlib.algorithm.dhc.mealy

Class	Description
GlobalSuffixFinder	Interface for a global suffix finder.

Classes in de.learnlib.counterexample used by de.learnlib.algorithm.lstar.ce

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

Classes in de.learnlib.counterexample used by de.learnlib.algorithm.observationpack

Class	Description
LocalSuffixFinder	Suffix-based local counterexample analyzer.

Classes in de.learnlib.counterexample used by de.learnlib.algorithm.observationpack.dfa

Class	Description
LocalSuffixFinder	Suffix-based local counterexample analyzer.

Classes in de.learnlib.counterexample used by de.learnlib.algorithm.observationpack.mealy

Class	Description
LocalSuffixFinder	Suffix-based local counterexample analyzer.

Classes in de.learnlib.counterexample used by de.learnlib.algorithm.observationpack.moore

Class	Description
LocalSuffixFinder	Suffix-based local counterexample analyzer.

Classes in de.learnlib.counterexample used by de.learnlib.counterexample

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