Package | Description |
---|---|
org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete |
Modifier and Type | Method and Description |
---|---|
protected int |
AbstractCostBasedCompleteRPSTAlg.estimateCost(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans,
int initIndex,
int outOfBoundIndex,
RPSTConsultant costConsultant,
java.lang.Integer encMarking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)
Give a lower bound of cost, given this marking
|
java.lang.Object[] |
CostBasedCompleteRPST.replayLoop(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
EncPNWSetFinalMarkings encodedPN,
java.util.Set<java.lang.Integer> encInvisTransition,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.util.Map<java.lang.Integer,java.lang.Integer>,java.lang.Integer> mapMarking2Int,
java.lang.Integer encInitMarking,
java.util.Set<java.lang.Integer> encFinalMarkings,
java.util.Random numGenerator,
int maxNumOfStates,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<java.lang.Integer,java.lang.Integer> mapEncTrans2Cost,
java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2Enabled,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapFiringTransitions,
RPSTConsultant costConsultant,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
org.processmining.framework.plugin.Progress progress) |
java.lang.Object[] |
CostBasedCompleteRPSTPrune.replayLoop(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
EncPNWSetFinalMarkings encodedPN,
java.util.Set<java.lang.Integer> encInvisTransition,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.util.Map<java.lang.Integer,java.lang.Integer>,java.lang.Integer> mapMarking2Int,
java.lang.Integer encInitMarking,
java.util.Set<java.lang.Integer> encFinalMarkings,
java.util.Random numGenerator,
int maxNumOfStates,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<java.lang.Integer,java.lang.Integer> mapEncTrans2Cost,
java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2Enabled,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapFiringTransitions,
RPSTConsultant costConsultant,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
org.processmining.framework.plugin.Progress progress)
Replay loop
|
java.lang.Object[] |
ICostBasedCompleteRPSTAlg.replayLoop(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
EncPNWSetFinalMarkings encodedPN,
java.util.Set<java.lang.Integer> encInvisTransition,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.util.Map<java.lang.Integer,java.lang.Integer>,java.lang.Integer> mapMarking2Int,
java.lang.Integer encInitMarking,
java.util.Set<java.lang.Integer> encFinalMarkings,
java.util.Random numGenerator,
int maxNumOfStates,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<java.lang.Integer,java.lang.Integer> mapEncTrans2Cost,
java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2Enabled,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapFiringTransitions,
RPSTConsultant costConsultant,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
org.processmining.framework.plugin.Progress progress)
Replay loop
|