Uses of Class
de.learnlib.acex.OutInconsPrefixTransformAcex

Packages that use OutInconsPrefixTransformAcex

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.ttt.base
de.learnlib.algorithm.ttt.dfa
de.learnlib.algorithm.ttt.mealy
de.learnlib.algorithm.ttt.moore

Uses of OutInconsPrefixTransformAcex in de.learnlib.acex

Subclasses of OutInconsPrefixTransformAcex in de.learnlib.acex

Modifier and Type	Class	Description
class	MealyOutInconsPrefixTransformAcex<I,O>
class	MooreOutInconsPrefixTransformAcex<I,O>

Uses of OutInconsPrefixTransformAcex in de.learnlib.algorithm.ttt.base

Methods in de.learnlib.algorithm.ttt.base that return OutInconsPrefixTransformAcex

Modifier and Type	Method	Description
protected OutInconsPrefixTransformAcex<I,D>	AbstractTTTLearner.deriveAcex(OutputInconsistency<I,D> outIncons)

Uses of OutInconsPrefixTransformAcex in de.learnlib.algorithm.ttt.dfa

Methods in de.learnlib.algorithm.ttt.dfa that return OutInconsPrefixTransformAcex

Modifier and Type	Method	Description
protected OutInconsPrefixTransformAcex<I,Boolean>	TTTLearnerDFA.deriveAcex(OutputInconsistency<I,Boolean> outIncons)

Uses of OutInconsPrefixTransformAcex in de.learnlib.algorithm.ttt.mealy

Methods in de.learnlib.algorithm.ttt.mealy that return OutInconsPrefixTransformAcex

Modifier and Type	Method	Description
protected OutInconsPrefixTransformAcex<I,Word<O>>	TTTLearnerMealy.deriveAcex(OutputInconsistency<I,Word<O>> outIncons)

Uses of OutInconsPrefixTransformAcex in de.learnlib.algorithm.ttt.moore

Methods in de.learnlib.algorithm.ttt.moore that return OutInconsPrefixTransformAcex

Modifier and Type	Method	Description
protected OutInconsPrefixTransformAcex<I,Word<O>>	TTTLearnerMoore.deriveAcex(OutputInconsistency<I,Word<O>> outIncons)