Package de.learnlib.filter.reuse.tree
Class ReuseEdge<S,I,O>
- java.lang.Object
-
- de.learnlib.filter.reuse.tree.ReuseEdge<S,I,O>
-
- Type Parameters:
S
- system state classI
- input symbol classO
- output symbol class
public class ReuseEdge<S,I,O> extends Object
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description I
getInput()
The respective input on this edge, nevernull
.O
getOutput()
The respective output on this edge.ReuseNode<S,I,O>
getSource()
The source node from this edge.ReuseNode<S,I,O>
getTarget()
The target node from this edge.String
toString()
-
-
-
Method Detail
-
getSource
public final ReuseNode<S,I,O> getSource()
The source node from this edge.- Returns:
- source, never
null
.
-
getTarget
public final ReuseNode<S,I,O> getTarget()
The target node from this edge.- Returns:
- target, never
null
.
-
getInput
public final I getInput()
The respective input on this edge, nevernull
.- Returns:
- input, not
null
-
getOutput
public final O getOutput()
The respective output on this edge. In case of quiescence the output isnull
.- Returns:
- output
-
-