Modifier and Type | Method and Description |
---|---|
protected java.lang.Integer |
AbstractReplayerBasicFunctionProvider.fireTransition(int currEncMarking,
java.lang.Integer trans,
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.util.Random numGenerator,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapFiringTransitions,
EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
Fire a transition and get an index that represent the marking obtained
This method also update the encoding of marking
|
protected java.util.Set<org.deckfour.xes.classification.XEventClass> |
AbstractReplayerBasicFunctionProvider.getEnabledActivities(java.util.Map<java.lang.Integer,java.lang.Integer> m,
EncPNWSetFinalMarkings encodedPN,
java.util.Set<java.lang.Integer> encInvisTransitions,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass)
Get enabled activities from the particular marking try to see the
directly enabled activities iteratively, redo invisible transition firing
|
protected java.util.SortedSet<java.lang.Integer> |
AbstractReplayerBasicFunctionProvider.getEnabledTransitions(EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,java.lang.Integer> marking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
Return transitions that are enabled in particular marking
|
protected java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> |
AbstractReplayerBasicFunctionProvider.getMappingEncTrans2EncEventClass(TransEvClassMapping mapping,
EncPNWSetFinalMarkings encodedPN)
Get mapping from encoded transition to event class
|
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> |
AbstractReplayerBasicFunctionProvider.getMappingEventClass2EncTrans(TransEvClassMapping mapping,
EncPNWSetFinalMarkings encPN)
Get mapping from event class to encoded transition
|
protected java.util.Map<java.lang.Integer,java.lang.Integer> |
AbstractReplayerBasicFunctionProvider.getTransViolationCosts(EncPNWSetFinalMarkings encodedPN,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost)
Get mapping from encoded transition to cost of move on model only
|
protected java.util.SortedSet<java.lang.Integer> |
AbstractReplayerBasicFunctionProvider.identifyEnabledTransitions(java.lang.Integer encMarking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2EnabledTrans,
EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
Identify the enabled transitions and update marking map
|
protected boolean |
AbstractReplayerBasicFunctionProvider.isEndOfModel(int currEncMarking,
java.util.Set<java.lang.Integer> encFinalMarkings,
EncPNWSetFinalMarkings encodedPN,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2EnabledTrans,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
return true if currEncMarking is one of the end markings or if there is
no other transitions enabled in this marking
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<org.deckfour.xes.classification.XEventClass> |
AbstractBehavAppAlg.getEnabledActAndUpdate(java.lang.Integer newMarkingIndex,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
EncPNWSetFinalMarkings encodedPN,
java.util.Set<java.lang.Integer> encInvisTransitions,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass,
java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass) |
SyncReplayResult |
BehavAppNaiveAlg.replayLoop(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
EncPNWSetFinalMarkings encodedPN,
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.util.Map<java.lang.Integer,LogAutomatonNode> mapInt2Automaton,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
boolean useLogWeight,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> encActivityWeight,
java.util.Random numGenerator,
java.lang.Integer maxNumStates,
java.util.Map<java.util.List<org.deckfour.xes.classification.XEventClass>,java.util.Set<java.lang.Integer>> traceClass,
java.util.Set<java.lang.Integer> encInvisTransition,
java.util.Set<java.lang.Integer> encFinalMarkings,
java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass,
java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass,
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,
org.processmining.framework.plugin.Progress progress) |
SyncReplayResult |
BehavAppPruneAlg.replayLoop(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
EncPNWSetFinalMarkings encodedPN,
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.util.Map<java.lang.Integer,LogAutomatonNode> mapInt2Automaton,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
boolean useLogWeight,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> encActivityWeight,
java.util.Random numGenerator,
java.lang.Integer maxNumStates,
java.util.Map<java.util.List<org.deckfour.xes.classification.XEventClass>,java.util.Set<java.lang.Integer>> traceClass,
java.util.Set<java.lang.Integer> encInvisTransition,
java.util.Set<java.lang.Integer> encFinalMarkings,
java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass,
java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass,
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,
org.processmining.framework.plugin.Progress progress)
The main method to calculate the best alignment to measure behavioral
appropriateness.
|
SyncReplayResult |
BehavAppStubbornAlg.replayLoop(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
EncPNWSetFinalMarkings encodedPN,
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.util.Map<java.lang.Integer,LogAutomatonNode> mapInt2Automaton,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
boolean useLogWeight,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> encActivityWeight,
java.util.Random numGenerator,
java.lang.Integer maxNumStates,
java.util.Map<java.util.List<org.deckfour.xes.classification.XEventClass>,java.util.Set<java.lang.Integer>> traceClass,
java.util.Set<java.lang.Integer> encInvisTransition,
java.util.Set<java.lang.Integer> encFinalMarkings,
java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass,
java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass,
java.util.Map<java.lang.Integer,java.util.SortedSet<java.lang.Integer>> mapMarking2Stubborn,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapFiringTransitions,
org.processmining.framework.plugin.Progress progress)
The main method to calculate the best alignment to measure behavioral
appropriateness.
|
SyncReplayResult |
IBehavAppAlg.replayLoop(java.util.List<org.deckfour.xes.classification.XEventClass> lstEvtClass,
EncPNWSetFinalMarkings encodedPN,
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.util.Map<java.lang.Integer,LogAutomatonNode> mapInt2Automaton,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
boolean useLogWeight,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> encActivityWeight,
java.util.Random numGenerator,
java.lang.Integer maxNumStates,
java.util.Map<java.util.List<org.deckfour.xes.classification.XEventClass>,java.util.Set<java.lang.Integer>> traceClass,
java.util.Set<java.lang.Integer> encInvisTransition,
java.util.Set<java.lang.Integer> encFinalMarkings,
java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass,
java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass,
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,
org.processmining.framework.plugin.Progress progress) |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractCostBasedCompleteAlg.createShortListFromTreeNode(EncPNWSetFinalMarkings encPN,
T currNode,
java.util.List<java.lang.Object> nodeInstanceLst,
java.util.List<StepTypes> stepTypesLst,
java.util.List<org.deckfour.xes.classification.XEventClass> listTrace,
java.util.List<org.processmining.framework.util.Pair<java.lang.Integer,org.deckfour.xes.classification.XEventClass>> listMoveOnLog)
provide solutions
|
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[] |
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) |
java.lang.Object[] |
CostBasedCompleteNaiveAlg.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,
org.processmining.framework.plugin.Progress progress)
Replay loop
|
java.lang.Object[] |
CostBasedCompletePruneAlg.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,
org.processmining.framework.plugin.Progress progress) |
java.lang.Object[] |
IDefaultCostBasedCompleteAlg.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,
org.processmining.framework.plugin.Progress progress) |
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
|
Constructor and Description |
---|
MarkingEqConsultant(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> mapEvClass2EncTrans,
java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
java.util.Map<java.lang.Integer,java.lang.Integer> mapEncTrans2Cost,
EncPNWSetFinalMarkings encodedPN,
java.util.HashSet<java.lang.Integer> encFinalMarkings,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.deckfour.xes.classification.XEventClass> |
RPSTConsultant.getImpossibleSuccessors(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)
Get xevent class that could have never occur, given a marking
Status: not implemented yet
|
java.util.Map<java.lang.Integer,java.lang.Integer> |
RPSTConsultant.getRequiredSuccessors(java.lang.Integer encMarking,
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
EncPNWSetFinalMarkings encodedPN)
public method to get required successors (XEventClass), given a marking
|
Constructor and Description |
---|
RPSTTreeWrapper(EncPNWSetFinalMarkings codec)
Default constructor, based on encoded petri net
|