Package | Description |
---|---|
de.learnlib.filter.reuse.tree |
Modifier and Type | Field and Description |
---|---|
ReuseNode<S,I,O> |
ReuseNode.NodeResult.reuseNode |
Modifier and Type | Method and Description |
---|---|
ReuseNode<S,I,O> |
ReuseTree.getRoot()
|
ReuseNode<S,I,O> |
ReuseEdge.getSource()
The source node from this edge.
|
ReuseNode<S,I,O> |
ReuseEdge.getTarget()
The target node from this edge.
|
ReuseNode<S,I,O> |
ReuseTree.getTarget(ReuseEdge<S,I,O> edge) |
ReuseNode<S,I,O> |
ReuseNode.getTargetNodeForInput(int index) |
Modifier and Type | Method and Description |
---|---|
Collection<ReuseNode<S,I,O>> |
ReuseTree.getNodes() |
net.automatalib.visualization.VisualizationHelper<ReuseNode<S,I,O>,ReuseEdge<S,I,O>> |
ReuseTree.getVisualizationHelper() |
Modifier and Type | Method and Description |
---|---|
Collection<ReuseEdge<S,I,O>> |
ReuseTree.getOutgoingEdges(ReuseNode<S,I,O> node) |
void |
ReuseTree.insert(net.automatalib.words.Word<I> query,
ReuseNode<S,I,O> sink,
ReuseCapableOracle.QueryResult<S,O> queryResult)
Inserts the given
Word (suffix of a membership query) with ReuseCapableOracle.QueryResult (suffix
output) into the tree starting from the ReuseNode (contains prefix with prefix output) in the tree. |
Constructor and Description |
---|
NodeResult(ReuseNode<S,I,O> reuseNode,
S systemState,
int prefixLength) |
ReuseEdge(ReuseNode<S,I,O> source,
ReuseNode<S,I,O> target,
I input,
O output)
Default constructor.
|
ReuseEdge(ReuseNode<S,I,O> source,
ReuseNode<S,I,O> target,
I input,
O output)
Default constructor.
|
Copyright © 2018. All rights reserved.