Uses of Interface
de.learnlib.acex.AcexAnalyzer

Packages that use AcexAnalyzer

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.
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.spa
de.learnlib.algorithm.ttt.base
de.learnlib.algorithm.ttt.dfa
de.learnlib.algorithm.ttt.mealy
de.learnlib.algorithm.ttt.moore
de.learnlib.algorithm.ttt.vpa	This package (and sub-packages) provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.counterexample	This package contains a collection of standard algorithms for handling counterexamples in automata learning.

Uses of AcexAnalyzer in de.learnlib.acex

Classes in de.learnlib.acex that implement AcexAnalyzer

Modifier and Type	Class	Description
class	AbstractNamedAcexAnalyzer	An abstract counterexample analyzer that carries a name.

Uses of AcexAnalyzer in de.learnlib.algorithm.kv.dfa

Methods in de.learnlib.algorithm.kv.dfa that return AcexAnalyzer

Modifier and Type	Method	Description
AcexAnalyzer	KearnsVaziraniDFABuilder.getCounterexampleAnalyzer()

Methods in de.learnlib.algorithm.kv.dfa with parameters of type AcexAnalyzer

Modifier and Type	Method	Description
void	KearnsVaziraniDFABuilder.setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
KearnsVaziraniDFABuilder<I>	KearnsVaziraniDFABuilder.withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)

Constructors in de.learnlib.algorithm.kv.dfa with parameters of type AcexAnalyzer

Constructor	Description
KearnsVaziraniDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, boolean repeatedCounterexampleEvaluation, AcexAnalyzer counterexampleAnalyzer)	Constructor.

Uses of AcexAnalyzer in de.learnlib.algorithm.kv.mealy

Methods in de.learnlib.algorithm.kv.mealy that return AcexAnalyzer

Modifier and Type	Method	Description
AcexAnalyzer	KearnsVaziraniMealyBuilder.getCounterexampleAnalyzer()

Methods in de.learnlib.algorithm.kv.mealy with parameters of type AcexAnalyzer

Modifier and Type	Method	Description
void	KearnsVaziraniMealyBuilder.setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
KearnsVaziraniMealyBuilder<I,O>	KearnsVaziraniMealyBuilder.withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)

Constructors in de.learnlib.algorithm.kv.mealy with parameters of type AcexAnalyzer

Constructor	Description
KearnsVaziraniMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, boolean repeatedCounterexampleEvaluation, AcexAnalyzer counterexampleAnalyzer)

Uses of AcexAnalyzer in de.learnlib.algorithm.observationpack.vpa

Fields in de.learnlib.algorithm.observationpack.vpa declared as AcexAnalyzer

Modifier and Type	Field	Description
protected AcexAnalyzer	OPLearnerVPA.analyzer

Methods in de.learnlib.algorithm.observationpack.vpa that return AcexAnalyzer

Modifier and Type	Method	Description
AcexAnalyzer	OPLearnerVPABuilder.getAnalyzer()

Methods in de.learnlib.algorithm.observationpack.vpa with parameters of type AcexAnalyzer

Modifier and Type	Method	Description
void	OPLearnerVPABuilder.setAnalyzer(AcexAnalyzer analyzer)
OPLearnerVPABuilder<I>	OPLearnerVPABuilder.withAnalyzer(AcexAnalyzer analyzer)

Constructors in de.learnlib.algorithm.observationpack.vpa with parameters of type AcexAnalyzer

Constructor	Description
OPLearnerVPA(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> oracle, AcexAnalyzer analyzer)

Uses of AcexAnalyzer in de.learnlib.algorithm.procedural.sba

Constructors in de.learnlib.algorithm.procedural.sba with parameters of type AcexAnalyzer

Constructor	Description
SBALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Boolean>> learnerConstructors, AcexAnalyzer analyzer, ATManager<I> atManager)

Uses of AcexAnalyzer in de.learnlib.algorithm.procedural.spa

Constructors in de.learnlib.algorithm.procedural.spa with parameters of type AcexAnalyzer

Constructor	Description
SPALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, Mapping<I,LearnerConstructor<L,I,Boolean>> learnerConstructors, AcexAnalyzer analyzer, ATRManager<I> atrManager)

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

Fields in de.learnlib.algorithm.ttt.base declared as AcexAnalyzer

Modifier and Type	Field	Description
protected AcexAnalyzer	AbstractTTTLearner.analyzer

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

Modifier and Type	Method	Description
static AcexAnalyzer	AbstractTTTLearner.BuilderDefaults.analyzer()

Constructors in de.learnlib.algorithm.ttt.base with parameters of type AcexAnalyzer

Constructor	Description
AbstractTTTLearner(Alphabet<I> alphabet, MembershipOracle<I,D> oracle, AbstractTTTHypothesis<?,I,D,?> hypothesis, BaseTTTDiscriminationTree<I,D> dtree, AcexAnalyzer analyzer)

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

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

Modifier and Type	Method	Description
AcexAnalyzer	TTTLearnerDFABuilder.getAnalyzer()

Methods in de.learnlib.algorithm.ttt.dfa with parameters of type AcexAnalyzer

Modifier and Type	Method	Description
void	TTTLearnerDFABuilder.setAnalyzer(AcexAnalyzer analyzer)
TTTLearnerDFABuilder<I>	TTTLearnerDFABuilder.withAnalyzer(AcexAnalyzer analyzer)

Constructors in de.learnlib.algorithm.ttt.dfa with parameters of type AcexAnalyzer

Constructor	Description
PrefixTTTLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)
TTTLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)
TTTLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer, Supplier<? extends AbstractBaseDTNode<I,Boolean>> rootSupplier)

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

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

Modifier and Type	Method	Description
AcexAnalyzer	TTTLearnerMealyBuilder.getAnalyzer()

Methods in de.learnlib.algorithm.ttt.mealy with parameters of type AcexAnalyzer

Modifier and Type	Method	Description
void	TTTLearnerMealyBuilder.setAnalyzer(AcexAnalyzer analyzer)
TTTLearnerMealyBuilder<I,O>	TTTLearnerMealyBuilder.withAnalyzer(AcexAnalyzer analyzer)

Constructors in de.learnlib.algorithm.ttt.mealy with parameters of type AcexAnalyzer

Constructor	Description
TTTLearnerMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, AcexAnalyzer analyzer)

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

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

Modifier and Type	Method	Description
AcexAnalyzer	TTTLearnerMooreBuilder.getAnalyzer()

Methods in de.learnlib.algorithm.ttt.moore with parameters of type AcexAnalyzer

Modifier and Type	Method	Description
void	TTTLearnerMooreBuilder.setAnalyzer(AcexAnalyzer analyzer)
TTTLearnerMooreBuilder<I,O>	TTTLearnerMooreBuilder.withAnalyzer(AcexAnalyzer analyzer)

Constructors in de.learnlib.algorithm.ttt.moore with parameters of type AcexAnalyzer

Constructor	Description
TTTLearnerMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, AcexAnalyzer analyzer)

Uses of AcexAnalyzer in de.learnlib.algorithm.ttt.vpa

Methods in de.learnlib.algorithm.ttt.vpa that return AcexAnalyzer

Modifier and Type	Method	Description
AcexAnalyzer	TTTLearnerVPABuilder.getAnalyzer()

Methods in de.learnlib.algorithm.ttt.vpa with parameters of type AcexAnalyzer

Modifier and Type	Method	Description
void	TTTLearnerVPABuilder.setAnalyzer(AcexAnalyzer analyzer)
TTTLearnerVPABuilder<I>	TTTLearnerVPABuilder.withAnalyzer(AcexAnalyzer analyzer)

Constructors in de.learnlib.algorithm.ttt.vpa with parameters of type AcexAnalyzer

Constructor	Description
TTTLearnerVPA(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> oracle, AcexAnalyzer analyzer)

Uses of AcexAnalyzer in de.learnlib.counterexample

Methods in de.learnlib.counterexample with parameters of type AcexAnalyzer

Modifier and Type	Method	Description
static <RI,RO> int	AcexLocalSuffixFinder.findSuffixIndex(AcexAnalyzer analyzer, boolean reduce, Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)

Constructors in de.learnlib.counterexample with parameters of type AcexAnalyzer

Constructor	Description
AcexLocalSuffixFinder(AcexAnalyzer analyzer, boolean reduce, String name)	Constructor.