A C D E G I R S T
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- AbstractAAARLearner<L extends LearningAlgorithm<CM,CI,D> & SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D> - Class in de.learnlib.algorithm.aaar
-
Base implementation of the learner presented in "Automata Learning with Automated Alphabet Abstraction Refinement" by Howar et al.
- AbstractAAARLearner(LearnerConstructor<L, CI, D>, MembershipOracle<CI, D>) - Constructor for class de.learnlib.algorithm.aaar.AbstractAAARLearner
- AbstractAbstractionTree<AI,CI,D> - Class in de.learnlib.algorithm.aaar.abstraction
- AbstractAbstractionTree(AI, CI, MembershipOracle<CI, D>) - Constructor for class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- AbstractExplicitAAARLearner<L extends LearningAlgorithm<CM,CI,D> & SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D> - Class in de.learnlib.algorithm.aaar.explicit
-
An "explicit" refinement of the
AbstractAAARLearner
. - AbstractExplicitAAARLearner(LearnerConstructor<L, CI, D>, MembershipOracle<CI, D>, ExplicitInitialAbstraction<AI, CI>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
-
Constructor.
- AbstractGenericAAARLearner<L extends LearningAlgorithm<CM,CI,D> & SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D> - Class in de.learnlib.algorithm.aaar.generic
-
A "generic" refinement of the
AbstractAAARLearner
. - AbstractGenericAAARLearner(LearnerConstructor<L, CI, D>, MembershipOracle<CI, D>, CI, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
-
Constructor.
- Abstraction<AI,CI> - Interface in de.learnlib.algorithm.aaar
-
An interface for mapping concrete symbols to their abstraction, and abstractions to their representatives, respectively.
C
- copyAbstract(UniversalDeterministicAutomaton<S1, CI, ?, SP, TP>, MutableDeterministic<S2, AI, ?, SP, TP>) - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
- createAbstractionForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- createAbstractionForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.abstraction.ExplicitAbstractionTree
- createAbstractionForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.abstraction.GenericAbstractionTree
D
- de.learnlib.algorithm.aaar - package de.learnlib.algorithm.aaar
-
This package (and sub-packages) provides the implementation of the AAAR learning algorithm as described in the paper Automata Learning with Automated Alphabet Abstraction Refinement by Falk Howar, Bernhard Steffen, and Maik Merten.
- de.learnlib.algorithm.aaar.abstraction - package de.learnlib.algorithm.aaar.abstraction
- de.learnlib.algorithm.aaar.explicit - package de.learnlib.algorithm.aaar.explicit
- de.learnlib.algorithm.aaar.generic - package de.learnlib.algorithm.aaar.generic
E
- ExplicitAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & SupportsGrowingAlphabet<CI>,AI,CI> - Class in de.learnlib.algorithm.aaar.explicit
-
A
DFA
-specific refinement ofAbstractExplicitAAARLearner
. - ExplicitAAARLearnerDFA(LearnerConstructor<L, CI, Boolean>, MembershipOracle<CI, Boolean>, ExplicitInitialAbstraction<AI, CI>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerDFA
-
Constructor.
- ExplicitAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,O> & SupportsGrowingAlphabet<CI>,AI,CI,O> - Class in de.learnlib.algorithm.aaar.explicit
-
A
MealyMachine
-specific refinement ofAbstractExplicitAAARLearner
. - ExplicitAAARLearnerMealy(LearnerConstructor<L, CI, Word<O>>, MembershipOracle<CI, Word<O>>, ExplicitInitialAbstraction<AI, CI>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMealy
-
Constructor.
- ExplicitAAARLearnerMoore<L extends LearningAlgorithm.MooreLearner<CI,O> & SupportsGrowingAlphabet<CI>,AI,CI,O> - Class in de.learnlib.algorithm.aaar.explicit
-
A
LearningAlgorithm.MooreLearner
-specific refinement ofAbstractExplicitAAARLearner
. - ExplicitAAARLearnerMoore(LearnerConstructor<L, CI, Word<O>>, MembershipOracle<CI, Word<O>>, ExplicitInitialAbstraction<AI, CI>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMoore
-
Constructor.
- ExplicitAbstractionTree<AI,CI,D> - Class in de.learnlib.algorithm.aaar.abstraction
- ExplicitAbstractionTree(AI, CI, MembershipOracle<CI, D>, Function<AI, AI>) - Constructor for class de.learnlib.algorithm.aaar.abstraction.ExplicitAbstractionTree
- ExplicitInitialAbstraction<AI,CI> - Interface in de.learnlib.algorithm.aaar
-
This interface denotes an
Abstraction
that additionally provides an initial classification of abstract input symbols.
G
- GenericAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & SupportsGrowingAlphabet<CI>,AI,CI> - Class in de.learnlib.algorithm.aaar.generic
-
A
DFA
-specific refinement ofAbstractGenericAAARLearner
. - GenericAAARLearnerDFA(LearnerConstructor<L, CI, Boolean>, MembershipOracle<CI, Boolean>, CI, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerDFA
-
Constructor.
- GenericAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,O> & SupportsGrowingAlphabet<CI>,AI,CI,O> - Class in de.learnlib.algorithm.aaar.generic
-
A
MealyMachine
-specific refinement ofAbstractGenericAAARLearner
. - GenericAAARLearnerMealy(LearnerConstructor<L, CI, Word<O>>, MembershipOracle<CI, Word<O>>, CI, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMealy
-
Constructor.
- GenericAAARLearnerMoore<L extends LearningAlgorithm.MooreLearner<CI,O> & SupportsGrowingAlphabet<CI>,AI,CI,O> - Class in de.learnlib.algorithm.aaar.generic
-
A
MooreMachine
-specific refinement ofAbstractGenericAAARLearner
. - GenericAAARLearnerMoore(LearnerConstructor<L, CI, Word<O>>, MembershipOracle<CI, Word<O>>, CI, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMoore
-
Constructor.
- GenericAbstractionTree<AI,CI,D> - Class in de.learnlib.algorithm.aaar.abstraction
- GenericAbstractionTree(AI, CI, MembershipOracle<CI, D>, Function<CI, AI>) - Constructor for class de.learnlib.algorithm.aaar.abstraction.GenericAbstractionTree
- getAbstractAlphabet() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
-
Returns the (abstract) alphabet of the current (abstract) hypothesis model (cf.
- getAbstractionTree() - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
- getAbstractionTrees() - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
- getAbstractSymbol(CI) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- getAbstractSymbol(CI) - Method in interface de.learnlib.algorithm.aaar.Abstraction
-
Returns the abstract symbol for a given concrete one.
- getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerDFA
- getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMealy
- getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMoore
- getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerDFA
- getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMealy
- getHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMoore
- getInitialAbstracts() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
- getInitialAbstracts() - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
- getInitialAbstracts() - Method in interface de.learnlib.algorithm.aaar.ExplicitInitialAbstraction
-
Return the initial collection of abstract symbols.
- getInitialAbstracts() - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
- getInitialRepresentatives() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
- getInitialRepresentatives() - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
- getInitialRepresentatives() - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
- getInitialState() - Method in class de.learnlib.algorithm.aaar.TranslatingDFA
- getInitialState() - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
- getInitialState() - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
- getLearner() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
-
Returns the created instance of the provided internal learner.
- getLearnerAlphabet() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
-
Returns the (concrete) alphabet of the current (concrete) internal hypothesis model (cf.
- getLearnerAlphabet() - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
- getLearnerAlphabet() - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
- getLearnerHypothesisModel() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
-
Returns the (concrete) hypothesis model form the provided internal learner.
- getNodes() - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- getOutgoingEdges(Node) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- getRepresentative(AI) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- getRepresentative(AI) - Method in interface de.learnlib.algorithm.aaar.Abstraction
-
Returns the (concrete) representative for a given abstract symbol.
- getRepresentativeSymbols() - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- getStateOutput(S) - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
- getStates() - Method in class de.learnlib.algorithm.aaar.TranslatingDFA
- getStates() - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
- getStates() - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
- getSuccessor(T) - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
- getSuccessor(T) - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
- getTarget(Node) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- getTransition(S, CI) - Method in class de.learnlib.algorithm.aaar.TranslatingDFA
- getTransition(S, CI) - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
- getTransition(S, CI) - Method in class de.learnlib.algorithm.aaar.TranslatingMooreMachine
- getTransitionOutput(T) - Method in class de.learnlib.algorithm.aaar.TranslatingMealyMachine
- getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
-
Returns a model of the current internal hypothesis model (cf.
- getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerDFA
- getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMealy
- getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.explicit.ExplicitAAARLearnerMoore
- getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerDFA
- getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMealy
- getTranslatingHypothesisModel() - Method in class de.learnlib.algorithm.aaar.generic.GenericAAARLearnerMoore
- getTreeForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
- getTreeForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.explicit.AbstractExplicitAAARLearner
- getTreeForRepresentative(CI) - Method in class de.learnlib.algorithm.aaar.generic.AbstractGenericAAARLearner
- getVisualizationHelper() - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- graphView() - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
I
- isAccepting(S) - Method in class de.learnlib.algorithm.aaar.TranslatingDFA
R
- refineHypothesis(DefaultQuery<CI, D>) - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
S
- splitLeaf(CI, CI, Word<CI>, Word<CI>, D) - Method in class de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
- startLearning() - Method in class de.learnlib.algorithm.aaar.AbstractAAARLearner
T
- TranslatingDFA<S,AI,CI> - Class in de.learnlib.algorithm.aaar
- TranslatingDFA(DFA<S, CI>, Function<CI, ? extends AbstractAbstractionTree<AI, CI, ?>>) - Constructor for class de.learnlib.algorithm.aaar.TranslatingDFA
- TranslatingMealyMachine<S,AI,CI,T,O> - Class in de.learnlib.algorithm.aaar
- TranslatingMealyMachine(MealyMachine<S, CI, T, O>, Function<CI, ? extends AbstractAbstractionTree<AI, CI, ?>>) - Constructor for class de.learnlib.algorithm.aaar.TranslatingMealyMachine
- TranslatingMooreMachine<S,AI,CI,T,O> - Class in de.learnlib.algorithm.aaar
- TranslatingMooreMachine(MooreMachine<S, CI, T, O>, Function<CI, ? extends AbstractAbstractionTree<AI, CI, ?>>) - Constructor for class de.learnlib.algorithm.aaar.TranslatingMooreMachine
All Classes All Packages