Uses of Class
de.learnlib.algorithm.aaar.abstraction.AbstractAbstractionTree
-
Packages that use AbstractAbstractionTree Package Description 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 de.learnlib.algorithm.aaar.explicit de.learnlib.algorithm.aaar.generic -
-
Uses of AbstractAbstractionTree in de.learnlib.algorithm.aaar
Methods in de.learnlib.algorithm.aaar that return AbstractAbstractionTree Modifier and Type Method Description protected abstract AbstractAbstractionTree<AI,CI,D>
AbstractAAARLearner. getTreeForRepresentative(CI ci)
Constructor parameters in de.learnlib.algorithm.aaar with type arguments of type AbstractAbstractionTree Constructor Description TranslatingDFA(DFA<S,CI> delegate, Function<CI,? extends AbstractAbstractionTree<AI,CI,?>> treeFetcher)
TranslatingMealyMachine(MealyMachine<S,CI,T,O> delegate, Function<CI,? extends AbstractAbstractionTree<AI,CI,?>> treeFetcher)
TranslatingMooreMachine(MooreMachine<S,CI,T,O> delegate, Function<CI,? extends AbstractAbstractionTree<AI,CI,?>> treeFetcher)
-
Uses of AbstractAbstractionTree in de.learnlib.algorithm.aaar.abstraction
Subclasses of AbstractAbstractionTree in de.learnlib.algorithm.aaar.abstraction Modifier and Type Class Description class
ExplicitAbstractionTree<AI,CI,D>
class
GenericAbstractionTree<AI,CI,D>
-
Uses of AbstractAbstractionTree in de.learnlib.algorithm.aaar.explicit
Methods in de.learnlib.algorithm.aaar.explicit that return AbstractAbstractionTree Modifier and Type Method Description protected AbstractAbstractionTree<AI,CI,D>
AbstractExplicitAAARLearner. getTreeForRepresentative(CI ci)
-
Uses of AbstractAbstractionTree in de.learnlib.algorithm.aaar.generic
Methods in de.learnlib.algorithm.aaar.generic that return AbstractAbstractionTree Modifier and Type Method Description protected AbstractAbstractionTree<AI,CI,D>
AbstractGenericAAARLearner. getTreeForRepresentative(CI ci)
-