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)