Predecessor

public class Predecessor
extends java.lang.Object

Wraps a predecessor for a Place/Transition.

Constructors
Constructor and Description
`Predecessor()`
`Predecessor(ProcessNode node, ProcessEdge edgeFromNode)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`ProcessEdge`	`getEdgeFromNode()`
`ProcessNode`	`getNode()`
`void`	`setEdgeFromNode(ProcessEdge edgeFromNode)`
`void`	`setNode(ProcessNode node)`

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

public Predecessor(ProcessNode node,
                   ProcessEdge edgeFromNode)

public void setEdgeFromNode(ProcessEdge edgeFromNode)

public void setNode(ProcessNode node)

Class Predecessor