public class ReachabilityGraphEdge
extends java.lang.Object
Constructor and Description |
---|
ReachabilityGraphEdge(ReachabilityGraphNode source,
ReachabilityGraphNode target,
NodeAdaptor executedNode) |
Modifier and Type | Method and Description |
---|---|
NodeAdaptor |
getExecutedNode() |
ReachabilityGraphNode |
getSource() |
ReachabilityGraphNode |
getTarget() |
java.lang.String |
toString() |
public ReachabilityGraphEdge(ReachabilityGraphNode source, ReachabilityGraphNode target, NodeAdaptor executedNode)
public ReachabilityGraphNode getSource()
public ReachabilityGraphNode getTarget()
public NodeAdaptor getExecutedNode()
public java.lang.String toString()
toString
in class java.lang.Object