Package | Description |
---|---|
de.learnlib.algorithms.ttt.base | |
de.learnlib.algorithms.ttt.mealy |
Modifier and Type | Class and Description |
---|---|
class |
IncomingList<I,D>
The head of the intrusive linked list for storing incoming transitions of a DT node.
|
class |
TTTTransition<I,D>
A transition in a
TTTHypothesis . |
Modifier and Type | Field and Description |
---|---|
protected IncomingListElem<I,D> |
TTTTransition.prevIncoming |
Modifier and Type | Class and Description |
---|---|
class |
TTTTransitionMealy<I,O> |
Copyright © 2015. All rights reserved.