public class LocalNodeID
extends org.processmining.models.graphbased.NodeID
Constructor and Description |
---|
LocalNodeID() |
LocalNodeID(java.util.UUID id) |
Modifier and Type | Method and Description |
---|---|
java.util.UUID |
localNodeID() |
java.lang.String |
toString() |