Uses of Class
de.learnlib.counterexamples.acex.OutInconsPrefixTransformAcex

Packages that use OutInconsPrefixTransformAcex

Package	Description
de.learnlib.algorithms.ttt.base
de.learnlib.algorithms.ttt.dfa
de.learnlib.algorithms.ttt.mealy
de.learnlib.counterexamples.acex

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

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

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

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

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

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

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

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

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

Uses of OutInconsPrefixTransformAcex in de.learnlib.counterexamples.acex

Subclasses of OutInconsPrefixTransformAcex in de.learnlib.counterexamples.acex

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