Uses of Package
de.learnlib.algorithms.adt.api

Packages that use de.learnlib.algorithms.adt.api

Package	Description
de.learnlib.algorithms.adt.ads
de.learnlib.algorithms.adt.adt
de.learnlib.algorithms.adt.api
de.learnlib.algorithms.adt.config
de.learnlib.algorithms.adt.config.model
de.learnlib.algorithms.adt.config.model.calculator
de.learnlib.algorithms.adt.config.model.extender
de.learnlib.algorithms.adt.config.model.replacer
de.learnlib.algorithms.adt.learner

Classes in de.learnlib.algorithms.adt.api used by de.learnlib.algorithms.adt.ads

Class and Description
PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata.

Classes in de.learnlib.algorithms.adt.api used by de.learnlib.algorithms.adt.adt

Class and 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.algorithms.adt.api used by de.learnlib.algorithms.adt.api

Class and 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.algorithms.adt.api used by de.learnlib.algorithms.adt.config

Class and 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.algorithms.adt.api used by de.learnlib.algorithms.adt.config.model

Class and Description
PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata.

Classes in de.learnlib.algorithms.adt.api used by de.learnlib.algorithms.adt.config.model.calculator

Class and Description
PartialTransitionAnalyzer During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata.

Classes in de.learnlib.algorithms.adt.api used by de.learnlib.algorithms.adt.config.model.extender

Class and 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.algorithms.adt.api used by de.learnlib.algorithms.adt.config.model.replacer

Class and Description
SubtreeReplacer Interface for configuration objects that specify how nodes of the current ADT should be replaced.

Classes in de.learnlib.algorithms.adt.api used by de.learnlib.algorithms.adt.learner

Class and 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.
PartialTransitionAnalyzer.HypothesisModificationException A helper exception to interrupt computations on an invalid hypothesis.
SubtreeReplacer Interface for configuration objects that specify how nodes of the current ADT should be replaced.