Modifier and Type | Field and Description |
---|---|
PRecord |
AbstractMovePreferenceAwarePetrinetReplayer.Result.record |
PRecord |
AbstractPetrinetReplayer.Result.record |
Modifier and Type | Method and Description |
---|---|
protected SyncReplayResult |
AbstractPetrinetReplayer.recordToResult(AbstractPDelegate<?> d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
PRecord r,
int traceIndex,
int stateCount,
boolean isReliable,
long milliseconds,
int queuedStates,
int traversedArcs,
int minCostMoveModel,
gnu.trove.list.TIntList unUsedIndices,
gnu.trove.map.TIntIntMap trace2orgTrace) |
protected SyncReplayResult |
PetrinetReplayerSSD.recordToResult(AbstractPDelegate<?> d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
PRecord r,
int traceIndex,
int stateCount,
boolean isReliable,
long milliseconds,
int queuedStates,
int traversedArcs,
int minCostMoveModel,
gnu.trove.list.TIntList unUsedIndices,
gnu.trove.map.TIntIntMap trace2orgTrace) |
protected SyncReplayResult |
AbstractMovePreferenceAwarePetrinetReplayer.recordToResult(AbstractPDelegate<?> d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
PRecord r,
int traceIndex,
int stateCount,
boolean isReliable,
long milliseconds,
int queuedStates,
int minCostMoveModel,
gnu.trove.list.TIntList unUsedIndices,
gnu.trove.map.TIntIntMap trace2orgTrace) |
protected SyncReplayResult |
PetrinetReplayerSSD.recordToResultSSD(DijkstraPDelegate d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
PRecord r,
int traceIndex,
int stateCount,
boolean isReliable,
long milliseconds,
int queuedStates,
int traversedArcs,
double maxPenalty,
gnu.trove.list.TIntList unUsedIndices,
gnu.trove.map.TIntIntMap trace2orgTrace) |
Modifier and Type | Field and Description |
---|---|
protected PRecord |
PRecord.predecessor |
Modifier and Type | Method and Description |
---|---|
static <P extends PRecord> |
PRecord.getHistory(P r) |
Modifier and Type | Method and Description |
---|---|
PRecord |
PRecord.getNextRecord(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
nl.tue.astar.Trace trace,
nl.tue.astar.Head nextHead,
long state,
int modelMove,
int movedEvent,
int activity)
In case of a LogMove only, then logMove>=0, modelMove ==
AStarThread.NOMOVE,
In case of a ModelMove only, then logMove == AStarThread.NOMOVE,
modelMove >=0,
in case of both log and model move, then logMove>=0, modelMove>=0,
|
PRecord |
PRecord.getPredecessor() |
Modifier and Type | Method and Description |
---|---|
static void |
PRecord.printRecord(AbstractPDelegate<?> delegate,
int trace,
PRecord r) |
Constructor and Description |
---|
PRecord(int cost,
PRecord predecessor,
int markingsize,
int traceLength) |
PRecord(long state,
int cost,
PRecord predecessor,
int logMove,
int modelMove,
int markingsize,
int backtrace,
nl.tue.storage.compressor.BitMask executed) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes.addRecord(PRecord record) |
void |
AllOptAlignmentsTreeAlg.MatchInstancesRes.addRecord(PRecord record) |
protected double |
BestWithFitnessBoundAlignmentsTreeAlg.calcFitness(AllOptAlignmentsTreeAlg.MatchInstancesRes result,
AllOptAlignmentsTreeDelegate d,
PRecord record,
org.deckfour.xes.model.XLog log,
int minCostMoveModel) |
protected double |
AllKnotSamplingOptAlignmentsGraphAlg.constructResult(PRecord r,
PDelegate d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
boolean isFirst,
java.util.List<java.util.List<java.lang.Object>> lstNodeInstanceLst,
java.util.List<java.util.List<StepTypes>> lstStepTypesLst) |
protected double |
AllOptAlignmentsGraphSamplingAlg.constructResult(PRecord r,
PDelegate d,
org.deckfour.xes.model.XTrace trace,
nl.tue.astar.Trace filteredTrace,
boolean isFirst,
java.util.List<java.util.List<java.lang.Object>> lstNodeInstanceLst,
java.util.List<java.util.List<StepTypes>> lstStepTypesLst) |
static void |
AbstractAllOptAlignmentsGraphAlg.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 boolean |
BestWithFitnessBoundAlignmentsTreeAlg.shouldConsiderResult(AllOptAlignmentsTreeAlg.MatchInstancesRes result,
AllOptAlignmentsTreeThread<PHead,nl.tue.astar.impl.DijkstraTail> thread,
PRecord record,
int counter,
org.deckfour.xes.model.XLog log,
int minCostMoveModel) |
protected boolean |
BestWithFitnessBoundPerTraceAlignmentTreeAlg.shouldConsiderResult(AllOptAlignmentsTreeAlg.MatchInstancesRes result,
AllOptAlignmentsTreeThread<PHead,nl.tue.astar.impl.DijkstraTail> thread,
PRecord record,
int counter,
org.deckfour.xes.model.XLog log,
int minCostMoveModel) |
protected boolean |
NBestAlignmentsTreeAlg.shouldConsiderResult(AllOptAlignmentsTreeAlg.MatchInstancesRes result,
AllOptAlignmentsTreeThread<PHead,nl.tue.astar.impl.DijkstraTail> thread,
PRecord record,
int counter,
org.deckfour.xes.model.XLog log,
int minCostMoveModel) |
Modifier and Type | Method and Description |
---|---|
static void |
AbstractAllOptAlignmentsGraphAlg.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
|
static void |
AbstractAllOptAlignmentsGraphAlg.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 |
AllOptAlignmentsTreeAlg.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) |
protected AllSyncReplayResult |
NBestAlignmentsTreeAlg.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) |
protected AllSyncReplayResult |
AbstractAllOptAlignmentsGraphAlg.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
|
protected AllSyncReplayResult |
AllKnotSamplingOptAlignmentsGraphAlg.recordToResult(PDelegate 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) |
protected AllSyncReplayResult |
AllOptAlignmentsGraphSamplingAlg.recordToResult(PDelegate 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
|
protected AllSyncReplayResult |
AllPrefixOptAlignmentsGraphGuessMarkingAlg.recordToResult(PDelegate 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
|
protected AllSyncReplayResult |
NBestOptAlignmentsGraphSamplingAlg.recordToResult(PDelegate 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)
This method needs to be overridden because there is no need to compute the number of all optimal alignments
as it is computed in the parent class
|
protected AllSyncReplayResult |
NBestPrefixAlignmentsGraphGuessMarkingAlg.recordToResult(PDelegate 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)
This method needs to be overridden because there is no need to compute
the number of all optimal alignments as it is computed in the parent
class
|