ReachabilityGraphNode

public class ReachabilityGraphNode
extends java.lang.Object

Constructors
Constructor and Description
`ReachabilityGraphNode(ProcessState state)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`ReachabilityGraphEdge`	`addEdgeFrom(ReachabilityGraphNode source, NodeAdaptor viaNode)`
`ReachabilityGraphEdge`	`addEdgeTo(ReachabilityGraphNode target, NodeAdaptor viaNode)`
`void`	`addIncomingEdge(ReachabilityGraphEdge edge)`
`void`	`addOutgoingEdge(ReachabilityGraphEdge edge)`
`boolean`	`equals(java.lang.Object other)`
`java.util.List<ReachabilityGraphEdge>`	`getIncomingEdges()`
`java.util.List<ReachabilityGraphEdge>`	`getOutgoingEdges()`
`ProcessState`	`getProcessState()`
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public ReachabilityGraphNode(ProcessState state)

public void addIncomingEdge(ReachabilityGraphEdge edge)

public ReachabilityGraphEdge addEdgeFrom(ReachabilityGraphNode source,
                                         NodeAdaptor viaNode)

public void addOutgoingEdge(ReachabilityGraphEdge edge)

public ReachabilityGraphEdge addEdgeTo(ReachabilityGraphNode target,
                                       NodeAdaptor viaNode)

public java.util.List<ReachabilityGraphEdge> getIncomingEdges()

public java.util.List<ReachabilityGraphEdge> getOutgoingEdges()

public boolean equals(java.lang.Object other)

Class ReachabilityGraphNode