| Package | Description |
|---|---|
| de.learnlib.algorithms.ttt.base | |
| de.learnlib.algorithms.ttt.dfa | |
| de.learnlib.algorithms.ttt.mealy |
| Class and Description |
|---|
| AbstractBaseDTNode |
| AbstractTTTHypothesis
Hypothesis DFA for the
TTT algorithm. |
| AbstractTTTHypothesis.GraphView |
| AbstractTTTHypothesis.TTTEdge |
| AbstractTTTLearner.Splitter
Data structure for representing a splitter.
|
| BaseTTTDiscriminationTree
The discrimination tree data structure.
|
| BlockList
A list for storing blocks (identified by their root
AbstractBaseDTNodes). |
| IncomingList
The head of the intrusive linked list for storing incoming transitions of a DT node.
|
| OutputInconsistency
Class for representing output inconsistencies within the TTT algorithm.
|
| TTTEventListener |
| TTTLearnerState
Class that contains all data that represent the internal state of the
AbstractTTTLearner learner and its DFA
and Mealy implementations. |
| TTTState
A state in a
AbstractTTTHypothesis. |
| TTTTransition
A transition in a
AbstractTTTHypothesis. |
| Class and Description |
|---|
| AbstractBaseDTNode |
| AbstractTTTHypothesis
Hypothesis DFA for the
TTT algorithm. |
| AbstractTTTLearner
The TTT learning algorithm for
DFA. |
| OutputInconsistency
Class for representing output inconsistencies within the TTT algorithm.
|
| TTTState
A state in a
AbstractTTTHypothesis. |
| TTTTransition
A transition in a
AbstractTTTHypothesis. |
| Class and Description |
|---|
| AbstractBaseDTNode |
| AbstractTTTHypothesis
Hypothesis DFA for the
TTT algorithm. |
| AbstractTTTLearner
The TTT learning algorithm for
DFA. |
| OutputInconsistency
Class for representing output inconsistencies within the TTT algorithm.
|
| TTTState
A state in a
AbstractTTTHypothesis. |
| TTTTransition
A transition in a
AbstractTTTHypothesis. |
Copyright © 2018. All rights reserved.