Package | Description |
---|---|
org.processmining.models.graphbased.directed.petrinet |
Modifier and Type | Method and Description |
---|---|
LocalNodeID |
PetrinetEdge.getLocalID() |
LocalNodeID |
PetrinetNode.getLocalID() |
Modifier and Type | Method and Description |
---|---|
void |
PetrinetEdge.setLocalID(LocalNodeID newLocalID) |
void |
PetrinetNode.setLocalID(LocalNodeID newLocalID) |
Constructor and Description |
---|
PetrinetEdge(ExpandableSubNet parent,
S source,
T target,
java.lang.String label,
LocalNodeID localID) |
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label,
LocalNodeID localID) |