static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
NavigateEmptyTraces.getModelMoves(ClusterNet cnet,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> traceMoveMultiset) |
static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
NavigateEmptyTraces.getModelMovesUsingMarkingEq(ClusterNet cnet,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> traceMoveMultiset,
int numPairs) |
static void |
NavigateEmptyTraces.recurseMarkings(ClusterNet cnet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> execTrans,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> syncTran2) |