All Classes

Class	Description
AbstractCalculator
ADSCalculator
ADT<S,I,O>	The adaptive discrimination tree class.
ADT.LCAInfo<S,I,O>
ADTExtender	Interface for configuration objects that specify how to finalize the temporary splitter given by regular counterexample decomposition.
ADTExtenders	A collection of default ADTExtender configurations.
ADTHypothesis<I,O>	Hypothesis model.
ADTLeafNode<S,I,O>	Leaf node implementation.
ADTLearner<I,O>	The main learning algorithm.
ADTLearnerBuilder<I,O>
ADTLearnerState<S,I,O>	Utility class that captures all essential state of a ADTLearner run.
ADTNode<S,I,O>	The ADT equivalent of ADSNode.
ADTNode.NodeType	Utility enum to distinguish the 3 possible types of ADT nodes.
ADTResetNode<S,I,O>	Reset node implementation.
ADTState<I,O>	Hypothesis state model.
ADTSymbolNode<S,I,O>	Symbol node implementation.
ADTTransition<I,O>	Hypothesis transition model.
ADTUtil	Utility class, that offers some operations revolving around adaptive distinguishing sequences.
BestEffortCalculator
BestEffortDefensiveCalculator
DefaultExtender
DefensiveADS<S,I,O>	A variant of the backtracking ADS search (see ADS, BacktrackingSearch), that works on partially defined automata.
DefensiveADSCalculator
ExhaustiveReplacer
ExtensionResult<S,I,O>	A class that describes the possible result a ADTExtender can return.
LeafSplitter	Interface for configuration objects that specify how to split the ADT leaf of a hypothesis state that needs refinement.
LeafSplitters	A collection of default LeafSplitter configurations.
LevelOrderReplacer
MinLengthCalculator
MinSizeCalculator
ObservationTree<S,I,O>	A class, that stores observations of the system under learning in a tree-like structure.
PartialTransitionAnalyzer<S,I>	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.
ReplacementResult<S,I,O>	A class that describes the possible result a SubtreeReplacer can return.
SingleReplacer
SQOOTBridge<I,O>	A utility class that links an observation tree with a symbol query oracle, meaning that all queries to the symbol query oracle will be stored in the observation tree.
SubtreeReplacer	Interface for configuration objects that specify how nodes of the current ADT should be replaced.
SubtreeReplacers	A collection of default SubtreeReplacer configurations.