public class ArcPath
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
void |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a) |
boolean |
containsArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a) |
boolean |
containsNode(org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn) |
org.processmining.models.graphbased.directed.petrinet.PetrinetNode |
getDest() |
int |
getLength() |
int |
nodeDist(org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn) |
public ArcPath()
public ArcPath(ArcPath p)
public int getLength()
public boolean containsArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a)
public boolean containsNode(org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn)
public int nodeDist(org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn)
public void addArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a)
public org.processmining.models.graphbased.directed.petrinet.PetrinetNode getDest()