Uses of Package
de.learnlib.algorithm.adt.api
-
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.ads Class Description PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata. -
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.adt Class Description LeafSplitter Interface for configuration objects that specify how to split the ADT leaf of a hypothesis state that needs refinement. -
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.api Class Description PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata.PartialTransitionAnalyzer.HypothesisModificationException A helper exception to interrupt computations on an invalid hypothesis. -
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.config Class Description ADTExtender Interface for configuration objects that specify how to finalize the temporary splitter given by regular counterexample decomposition.LeafSplitter Interface for configuration objects that specify how to split the ADT leaf of a hypothesis state that needs refinement.SubtreeReplacer Interface for configuration objects that specify how nodes of the current ADT should be replaced. -
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.config.model Class Description PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata. -
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.config.model.calculator Class Description PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata. -
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.config.model.extender Class Description ADTExtender Interface for configuration objects that specify how to finalize the temporary splitter given by regular counterexample decomposition.PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata. -
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.config.model.replacer Class Description SubtreeReplacer Interface for configuration objects that specify how nodes of the current ADT should be replaced. -
Classes in de.learnlib.algorithm.adt.api used by de.learnlib.algorithm.adt.learner Class Description ADTExtender Interface for configuration objects that specify how to finalize the temporary splitter given by regular counterexample decomposition.LeafSplitter Interface for configuration objects that specify how to split the ADT leaf of a hypothesis state that needs refinement.PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata.SubtreeReplacer Interface for configuration objects that specify how nodes of the current ADT should be replaced.