Package 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.
-
Interface Summary Interface Description AbstractCounterexample<E> AcexAnalyzer -
Class Summary Class Description AbstractBaseCounterexample<E> AbstractNamedAcexAnalyzer An abstract counterexample analyzer that carries a name.AcexAnalysisAlgorithms AcexAnalyzers This is a utility class, acting as a container for severalAbstractNamedAcexAnalyzer
s.ClassicPrefixTransformAcex<I,D> An abstract counterexample based on prefix transformations.MealyOutInconsPrefixTransformAcex<I,O> MooreOutInconsPrefixTransformAcex<I,O> OutInconsPrefixTransformAcex<I,D> An abstract counterexample for output inconsistencies, based on prefix transformations. -
Enum Summary Enum Description AcexAnalyzers.Direction