Module de.learnlib.common.counterexample

Package de.learnlib.acex

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.

Related Packages

Module	Package	Description
de.learnlib.api	de.learnlib

Class	Description
AbstractBaseCounterexample<E>
AbstractCounterexample<E>
AbstractNamedAcexAnalyzer	An abstract counterexample analyzer that carries a name.
AcexAnalysisAlgorithms
AcexAnalyzer
AcexAnalyzers	This is a utility class, acting as a container for several AbstractNamedAcexAnalyzers.
AcexAnalyzers.Direction
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.