Package | Description |
---|---|
de.learnlib.filter.reuse.tree |
Modifier and Type | Method and Description |
---|---|
ReuseEdge<S,I,O> |
ReuseNode.getEdgeWithInput(int index)
May be
null . |
Modifier and Type | Method and Description |
---|---|
Collection<ReuseEdge<S,I,O>> |
ReuseNode.getEdges()
|
Collection<ReuseEdge<S,I,O>> |
ReuseTree.getOutgoingEdges(ReuseNode<S,I,O> node) |
net.automatalib.visualization.VisualizationHelper<ReuseNode<S,I,O>,ReuseEdge<S,I,O>> |
ReuseTree.getVisualizationHelper() |
Modifier and Type | Method and Description |
---|---|
void |
ReuseNode.addEdge(int index,
ReuseEdge<S,I,O> edge)
|
ReuseNode<S,I,O> |
ReuseTree.getTarget(ReuseEdge<S,I,O> edge) |
Copyright © 2018. All rights reserved.