Package | Description |
---|---|
de.learnlib.algorithms.ttt.base |
Modifier and Type | Method and Description |
---|---|
IncomingList<I,D> |
DTNode.getIncoming() |
IncomingList<I,D> |
SplitData.getIncoming(D label)
Retrieves the list of incoming transitions for the respective label.
|
Modifier and Type | Method and Description |
---|---|
void |
IncomingList.insertAllIncoming(IncomingList<I,D> list) |
Copyright © 2015. All rights reserved.