A C D E G I R S T 
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 of AbstractExplicitAAARLearner.
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 of AbstractExplicitAAARLearner.
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
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 of AbstractGenericAAARLearner.
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 of AbstractGenericAAARLearner.
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 of AbstractGenericAAARLearner.
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
 
A C D E G I R S T 
All Classes All Packages