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
AbstractBaseDTNode s). |
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.