java.lang.Object[] |
CostBasedCompleteMarkEquation.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,
MarkingEqConsultant costConsultant,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
org.processmining.framework.plugin.Progress progress) |
java.lang.Object[] |
CostBasedCompleteMarkEquationPrune.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,
MarkingEqConsultant costConsultant,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
org.processmining.framework.plugin.Progress progress)
Replay loop
|
java.lang.Object[] |
ICostBasedCompleteMarkEqAlg.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,
MarkingEqConsultant costConsultant,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
org.processmining.framework.plugin.Progress progress) |