public class ArcPathCollection
extends java.lang.Object
Constructor and Description |
---|
ArcPathCollection(java.util.Vector<ArcPath> paths) |
Modifier and Type | Method and Description |
---|---|
int |
getMaxDist(org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn) |
public ArcPathCollection(java.util.Vector<ArcPath> paths)