public class CostBasedCompleteMarkEquation extends AbstractCostBasedCompleteMarkEqAlg
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapTrans2Cost, maxNumOfStates
Constructor and Description |
---|
CostBasedCompleteMarkEquation() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getHTMLInfo()
HTML explanation of the algorithm
|
java.lang.Object[] |
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.String |
toString()
The name of the algorithm
|
isAllReqSatisfied, isReqWOParameterSatisfied, replayLog
constructParamProvider, createShortListFromTreeNode, importParameters
fireTransition, getEnabledActivities, getEnabledTransitions, getListEventClass, getMappingEncTrans2EncEventClass, getMappingEncTrans2EvClass, getMappingEventClass2EncTrans, getTransViolationCosts, identifyEnabledTransitions, isEndOfModel
public java.lang.String toString()
IPNReplayAlgorithm
toString
in interface IPNReplayAlgorithm
toString
in class java.lang.Object
public java.lang.String getHTMLInfo()
IPNReplayAlgorithm
public java.lang.Object[] 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)