| 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.