public class PathFragmentCollection
extends java.lang.Object
Constructor and Description |
---|
PathFragmentCollection(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> nodes,
java.util.Vector<PathFragment> frags) |
Modifier and Type | Method and Description |
---|---|
int |
findParallel() |
boolean |
findParallelForFrag(PathFragment pf) |
int |
findSequence() |
boolean |
findSequenceForNode(org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn) |
java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getMaxSortedNodes() |
java.util.Vector<PathFragmentSimple> |
getSimpleFragments() |
public PathFragmentCollection(java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> nodes, java.util.Vector<PathFragment> frags)
public int findSequence()
public boolean findSequenceForNode(org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn)
public int findParallel()
public boolean findParallelForFrag(PathFragment pf)
public java.util.Vector<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getMaxSortedNodes()
public java.util.Vector<PathFragmentSimple> getSimpleFragments()