Package | Description |
---|---|
de.learnlib.algorithms.ttt.base | |
de.learnlib.algorithms.ttt.dfa | |
de.learnlib.algorithms.ttt.mealy |
Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with
them (e.g., states and transitions of a
TTTHypothesis ). |
BaseTTTLearner.Splitter
Data structure for representing a splitter.
|
BlockList
A list for storing blocks (identified by their root
DTNode s). |
BlockListElem
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
The discrimination tree data structure.
|
DiscriminationTree.GraphView |
DTNode |
IncomingList
The head of the intrusive linked list for storing incoming transitions of a DT node.
|
IncomingListElem
An element in an
IncomingList . |
TTTEventListener |
TTTHypothesis
Hypothesis DFA for the
TTT algorithm . |
TTTHypothesis.GraphView |
TTTHypothesis.TTTEdge |
TTTState
A state in a
TTTHypothesis . |
TTTTransition
A transition in a
TTTHypothesis . |
Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with
them (e.g., states and transitions of a
TTTHypothesis ). |
BaseTTTLearner
The TTT learning algorithm for
DFA . |
DTNode |
TTTHypothesis
Hypothesis DFA for the
TTT algorithm . |
TTTHypothesis.TTTEdge |
TTTState
A state in a
TTTHypothesis . |
TTTTransition
A transition in a
TTTHypothesis . |
Class and Description |
---|
AccessSequenceProvider
Common interface for objects that have an access sequence associated with
them (e.g., states and transitions of a
TTTHypothesis ). |
BaseTTTLearner
The TTT learning algorithm for
DFA . |
DTNode |
IncomingListElem
An element in an
IncomingList . |
TTTHypothesis
Hypothesis DFA for the
TTT algorithm . |
TTTHypothesis.TTTEdge |
TTTState
A state in a
TTTHypothesis . |
TTTTransition
A transition in a
TTTHypothesis . |
Copyright © 2015. All rights reserved.