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) |