Uses of Interface
de.learnlib.acex.AcexAnalyzer

Packages that use AcexAnalyzer

Package	Description
de.learnlib.acex.analyzers
de.learnlib.algorithms.discriminationtree.vpda
de.learnlib.algorithms.kv.dfa
de.learnlib.algorithms.kv.mealy
de.learnlib.algorithms.ttt.base
de.learnlib.algorithms.ttt.dfa
de.learnlib.algorithms.ttt.mealy
de.learnlib.algorithms.ttt.vpda
de.learnlib.counterexamples

Uses of AcexAnalyzer in de.learnlib.acex.analyzers

Classes in de.learnlib.acex.analyzers that implement AcexAnalyzer

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

Uses of AcexAnalyzer in de.learnlib.algorithms.discriminationtree.vpda

Fields in de.learnlib.algorithms.discriminationtree.vpda declared as AcexAnalyzer

Modifier and Type	Field and Description
protected AcexAnalyzer	DTLearnerVPDA.analyzer

Constructors in de.learnlib.algorithms.discriminationtree.vpda with parameters of type AcexAnalyzer

Constructor and Description
DTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)

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

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

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

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

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

Constructor and Description
KearnsVaziraniMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, boolean repeatedCounterexampleEvaluation, AcexAnalyzer counterexampleAnalyzer)

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

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

Modifier and Type	Field and Description
protected AcexAnalyzer	AbstractTTTLearner.analyzer

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

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

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

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

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

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

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

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

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

Constructor and Description
TTTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, AcexAnalyzer analyzer)

Uses of AcexAnalyzer in de.learnlib.algorithms.ttt.vpda

Constructors in de.learnlib.algorithms.ttt.vpda with parameters of type AcexAnalyzer

Constructor and Description
TTTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)

Uses of AcexAnalyzer in de.learnlib.counterexamples

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

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

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

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