Uses of Class
de.learnlib.acex.AbstractBaseCounterexample
-
Packages that use AbstractBaseCounterexample Package Description de.learnlib.acex This package provides interfaces and classes for the abstract counterexample analysis framework described in the paper An Abstract Framework for Counterexample Analysis in Active Automata Learning by Malte Isberner and Bernhard Steffen.de.learnlib.algorithm.kv.dfa de.learnlib.algorithm.kv.mealy de.learnlib.algorithm.observationpack.vpa This package (and sub-packages) provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner. -
-
Uses of AbstractBaseCounterexample in de.learnlib.acex
Subclasses of AbstractBaseCounterexample in de.learnlib.acex Modifier and Type Class Description class
ClassicPrefixTransformAcex<I,D>
An abstract counterexample based on prefix transformations.class
MealyOutInconsPrefixTransformAcex<I,O>
class
MooreOutInconsPrefixTransformAcex<I,O>
class
OutInconsPrefixTransformAcex<I,D>
An abstract counterexample for output inconsistencies, based on prefix transformations. -
Uses of AbstractBaseCounterexample in de.learnlib.algorithm.kv.dfa
Subclasses of AbstractBaseCounterexample in de.learnlib.algorithm.kv.dfa Modifier and Type Class Description protected class
KearnsVaziraniDFA.KVAbstractCounterexample
-
Uses of AbstractBaseCounterexample in de.learnlib.algorithm.kv.mealy
Subclasses of AbstractBaseCounterexample in de.learnlib.algorithm.kv.mealy Modifier and Type Class Description protected class
KearnsVaziraniMealy.KVAbstractCounterexample
-
Uses of AbstractBaseCounterexample in de.learnlib.algorithm.observationpack.vpa
Subclasses of AbstractBaseCounterexample in de.learnlib.algorithm.observationpack.vpa Modifier and Type Class Description protected class
OPLearnerVPA.PrefixTransformAcex
-