Interface | Description |
---|---|
TTTEventListener<I,D> |
Class | Description |
---|---|
AbstractBaseDTNode<I,D> | |
AbstractTTTHypothesis<I,D,T> |
Hypothesis DFA for the
TTT algorithm . |
AbstractTTTHypothesis.TTTEdge<I,D> | |
AbstractTTTLearner<A,I,D> |
The TTT learning algorithm for
DFA . |
AbstractTTTLearner.BuilderDefaults | |
AbstractTTTLearner.Splitter<I,D> |
Data structure for representing a splitter.
|
BaseTTTDiscriminationTree<I,D> |
The discrimination tree data structure.
|
BlockList<I,D> |
A list for storing blocks (identified by their root
AbstractBaseDTNode s). |
IncomingList<I,D> |
The head of the intrusive linked list for storing incoming transitions of a DT node.
|
OutputInconsistency<I,D> |
Class for representing output inconsistencies within the TTT algorithm.
|
TTTLearnerState<I,D> |
Class that contains all data that represent the internal state of the
AbstractTTTLearner learner and its DFA
and Mealy implementations. |
TTTState<I,D> |
A state in a
AbstractTTTHypothesis . |
TTTTransition<I,D> |
A transition in a
AbstractTTTHypothesis . |
Exception | Description |
---|---|
HypothesisChangedException |
Exception to indicate structural changes of the hypothesis during counterexample analysis, thus possibly invalidating
the counterexample.
|
Copyright © 2018. All rights reserved.