Interface | Description |
---|---|
AccessSequenceProvider<I> |
Common interface for objects that have an access sequence associated with
them (e.g., states and transitions of a
TTTHypothesis ). |
TTTEventListener<I,D> |
Class | Description |
---|---|
BaseTTTLearner<A,I,D> |
The TTT learning algorithm for
DFA . |
BaseTTTLearner.BuilderDefaults | |
BaseTTTLearner.Splitter<I,D> |
Data structure for representing a splitter.
|
BlockList<I,D> |
A list for storing blocks (identified by their root
DTNode s). |
BlockListElem<I,D> |
Abstract base class for objects that may occur in a
BlockList ,
either as a value element or the head of the list (which represents the list itself,
but does not carry any value). |
DiscriminationTree<I,D> |
The discrimination tree data structure.
|
DTNode<I,D> | |
IncomingList<I,D> |
The head of the intrusive linked list for storing incoming transitions of a DT node.
|
IncomingListElem<I,D> |
An element in an
IncomingList . |
OutputInconsistency<I,D> |
Class for representing output inconsistencies within the TTT algorithm.
|
SplitData<I,D> |
Data associated with a
DTNode while an enclosing subtree is being split. |
TTTHypothesis<I,D,T> |
Hypothesis DFA for the
TTT algorithm . |
TTTHypothesis.TTTEdge<I,D> | |
TTTState<I,D> |
A state in a
TTTHypothesis . |
TTTTransition<I,D> |
A transition in a
TTTHypothesis . |
Exception | Description |
---|---|
HypothesisChangedException |
Exception to indicate structural changes of the hypothesis during counterexample analysis,
thus possibly invalidating the counterexample.
|
Copyright © 2016. All rights reserved.