public abstract class AbstractAllOptAlignmentsGraphAlg<D extends AbstractPDelegate<T>,T extends nl.tue.astar.Tail> extends AbstractAllOptAlignmentsAlg<D,T>
Modifier and Type | Class and Description |
---|---|
static class |
AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes |
Modifier and Type | Field and Description |
---|---|
protected int |
threads |
classifier, finalMarkings, initMarking, mapEvClass2Cost, mapTrans2Cost, MAPTRANSTOCOST, MAPXEVENTCLASSTOCOST, MAXEXPLOREDINSTANCES, maxNumOfStates, queuedStates, traversedArcs, visitedStates
Constructor and Description |
---|
AbstractAllOptAlignmentsGraphAlg() |
Modifier and Type | Method and Description |
---|---|
protected int |
addReplayResults(D delegate,
org.deckfour.xes.model.XTrace trace,
AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes 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,
java.util.List<java.lang.Object> suffixNodeInstance,
java.util.List<StepTypes> suffixStepTypes) |
static void |
extractAllHistory(PRecord r,
java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapRecordToSameSuffix,
java.util.List<java.util.List<PRecord>> result,
java.util.List<PRecord> suffix)
Recursively extract all history
|
protected AllSyncReplayResult |
recordToResult(D d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
java.util.Collection<PRecord> records,
int traceIndex,
int states,
int queuedStates,
boolean isReliable,
long milliseconds,
java.util.List<java.lang.Object> suffixNodeInstance,
java.util.List<StepTypes> suffixStepTypes,
AllSyncReplayResult prevResult,
java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapToStatesWSameSuffix)
Recursive call that investigate the same map
|
compareEventClassList, getLinearTrace, getPartiallyOrderedTrace
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getHTMLInfo, replayLog, toString
protected int addReplayResults(D delegate, org.deckfour.xes.model.XTrace trace, AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes 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, java.util.List<java.lang.Object> suffixNodeInstance, java.util.List<StepTypes> suffixStepTypes)
protected AllSyncReplayResult recordToResult(D d, org.deckfour.xes.model.XTrace trace, nl.tue.astar.Trace filteredTrace, java.util.Collection<PRecord> records, int traceIndex, int states, int queuedStates, boolean isReliable, long milliseconds, java.util.List<java.lang.Object> suffixNodeInstance, java.util.List<StepTypes> suffixStepTypes, AllSyncReplayResult prevResult, java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapToStatesWSameSuffix)
d
- trace
- filteredTrace
- records
- traceIndex
- states
- queuedStates
- isReliable
- milliseconds
- suffixNodeInstance
- suffixStepTypes
- prevResult
- mapToStatesWSameSuffix
- public static void extractAllHistory(PRecord r, java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapRecordToSameSuffix, java.util.List<java.util.List<PRecord>> result, java.util.List<PRecord> suffix)
r
- mapRecordToSameSuffix
- result
- suffix
-