public class AllOptAlignmentsTreeAlg extends AbstractAllOptAlignmentsAlg<AllOptAlignmentsTreeDelegate,nl.tue.astar.impl.DijkstraTail>
Modifier and Type | Class and Description |
---|---|
static class |
AllOptAlignmentsTreeAlg.MatchInstancesRes |
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapTrans2Cost, MAPTRANSTOCOST, MAPXEVENTCLASSTOCOST, MAXEXPLOREDINSTANCES, maxNumOfStates, queuedStates, traversedArcs, visitedStates
Constructor and Description |
---|
AllOptAlignmentsTreeAlg() |
Modifier and Type | Method and Description |
---|---|
protected int |
addReplayResults(AllOptAlignmentsTreeDelegate delegate,
org.deckfour.xes.model.XTrace trace,
AllOptAlignmentsTreeAlg.MatchInstancesRes r,
gnu.trove.map.TIntIntMap doneMap,
org.deckfour.xes.model.XLog log,
java.util.List<AllSyncReplayResult> col,
int traceIndex,
java.util.Map<java.lang.Integer,AllSyncReplayResult> mapRes,
double minCostMoveModel) |
protected AllOptAlignmentsTreeDelegate |
getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
java.lang.String |
getHTMLInfo()
HTML explanation of the algorithm
|
protected AllSyncReplayResult |
recordToResult(AllOptAlignmentsTreeDelegate d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
java.util.Set<PRecord> records,
int traceIndex,
int states,
int queuedStates,
boolean isReliable,
long milliseconds,
double minCostMoveModel) |
PNMatchInstancesRepResult |
replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters)
Method to replay a whole log on a model and return all best matching
instance between each trace and the model
Assumption: all markings are given, no need to check for connection to
the original net
|
java.lang.String |
toString() |
compareEventClassList, getLinearTrace, getPartiallyOrderedTrace
public java.lang.String toString()
toString
in interface IPNMatchInstancesLogReplayAlgorithm
toString
in class java.lang.Object
public java.lang.String getHTMLInfo()
IPNMatchInstancesLogReplayAlgorithm
public PNMatchInstancesRepResult replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping, java.lang.Object[] parameters) throws nl.tue.astar.AStarException
IPNMatchInstancesLogReplayAlgorithm
nl.tue.astar.AStarException
protected AllOptAlignmentsTreeDelegate getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, int delta, boolean allMarkingsAreFinal, org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
protected int addReplayResults(AllOptAlignmentsTreeDelegate delegate, org.deckfour.xes.model.XTrace trace, AllOptAlignmentsTreeAlg.MatchInstancesRes r, gnu.trove.map.TIntIntMap doneMap, org.deckfour.xes.model.XLog log, java.util.List<AllSyncReplayResult> col, int traceIndex, java.util.Map<java.lang.Integer,AllSyncReplayResult> mapRes, double minCostMoveModel)
protected AllSyncReplayResult recordToResult(AllOptAlignmentsTreeDelegate d, org.deckfour.xes.model.XTrace trace, nl.tue.astar.Trace filteredTrace, java.util.Set<PRecord> records, int traceIndex, int states, int queuedStates, boolean isReliable, long milliseconds, double minCostMoveModel)
d
- trace
- filteredTrace
- records
- traceIndex
- states
- queuedStates
- isReliable
- milliseconds
-