Modifier and Type | Method and Description |
---|---|
TreeRecord |
BehaviorCounter.getAlignment(nl.tue.astar.Trace trace)
Returns the alignment for a particular trace
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<NAryTree,TreeRecord> |
AlignmentInfo.getAlignmentCache() |
java.util.Map<nl.tue.astar.Trace,TreeRecord> |
BehaviorCounter.getAlignments() |
Modifier and Type | Method and Description |
---|---|
void |
AlignmentInfo.put(NAryTree candidate,
TreeRecord lastRecord) |
Modifier and Type | Method and Description |
---|---|
void |
BehaviorCounter.setAlignments(java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments) |
Constructor and Description |
---|
AlignmentInfo(java.util.Map<NAryTree,TreeRecord> alignmentCache,
AStarAlgorithm algorithm) |
BehaviorCounter(int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.HashMap<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelMove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments) |
Modifier and Type | Method and Description |
---|---|
NAryTreeReplayer<?,?,?> |
FitnessReplay.setupReplayer(NAryTree candidate,
AStarAlgorithm algorithm,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelMove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] modelCosts,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments) |
Modifier and Type | Method and Description |
---|---|
static java.util.List<TreeRecord> |
TreeUtilsAlignmentRepair.splitChunk(java.util.List<TreeRecord> history,
int start,
java.lang.Integer numLogMoves,
int subtreeSize)
performance issue? recursive VS iteration
|
Modifier and Type | Method and Description |
---|---|
static java.util.List<TreeRecord> |
TreeUtilsAlignmentRepair.splitChunk(java.util.List<TreeRecord> history,
int start,
java.lang.Integer numLogMoves,
int subtreeSize)
performance issue? recursive VS iteration
|
Modifier and Type | Method and Description |
---|---|
abstract TreeRecord |
AbstractNAryTreeDelegate.createInitialRecord(NAryTreeHead head,
nl.tue.astar.Trace trace) |
TreeRecord |
TreeRecord.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,
|
TreeRecord |
TreeRecord.getPredecessor() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<TreeRecord> |
AbstractNAryTreeReplayer.getHistory(TreeRecord r) |
static java.util.List<TreeRecord> |
TreeRecord.getHistory(TreeRecord r) |
Modifier and Type | Method and Description |
---|---|
protected abstract int |
AbstractNAryTreeReplayer.calculateCostAndPostProcess(NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency)
do post-processing on the given alignment for the given trace.
|
static java.util.List<TreeRecord> |
AbstractNAryTreeReplayer.getHistory(TreeRecord r) |
static java.util.List<TreeRecord> |
TreeRecord.getHistory(TreeRecord r) |
static boolean |
TreeRecord.isConsistent(TreeRecord newRecord,
nl.tue.astar.Trace originalTrace,
NAryTree tree,
int scaling) |
static void |
TreeRecord.printRecord(TreeDelegate<?,?> delegate,
nl.tue.astar.Trace trace,
TreeRecord r) |
void |
NAryTreePostProcessor.process(NAryTreeReplayer<H,T,?> replayer,
NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
protected void |
NAryTreePostProcessor.processAlignment(NAryTreeReplayer<H,T,?> aStar,
TreeRecord rec,
int frequency,
ModelPrefix prefix) |
Constructor and Description |
---|
NAryTreePostProcessor(TreeDelegate<H,T> delegate,
NAryTree tree,
int configurationNumber,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments) |
Modifier and Type | Method and Description |
---|---|
TreeRecord |
NAryTreeBasisILPDelegate.createInitialRecord(NAryTreeHead head,
nl.tue.astar.Trace trace) |
Modifier and Type | Method and Description |
---|---|
protected int |
NAryTreeReplayerWithBasisILP.calculateCostAndPostProcess(NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
Constructor and Description |
---|
NAryTreeReplayerWithBasisILP(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2cost,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments,
boolean useOrRows,
nl.tue.astar.AStarObserver... observers) |
Modifier and Type | Method and Description |
---|---|
protected int |
NAryTreeReplayerWithBasis2ILP.calculateCostAndPostProcess(NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
Constructor and Description |
---|
NAryTreeReplayerWithBasis2ILP(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2cost,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments,
boolean useOrRows,
nl.tue.astar.AStarObserver... observers) |
NAryTreeReplayerWithBasis2ILP(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2cost,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments,
boolean useOrRows,
int nrThreads,
nl.tue.astar.AStarObserver... observers) |
Modifier and Type | Method and Description |
---|---|
TreeRecord |
NAryTreeEmptyDelegate.createInitialRecord(NAryTreeHead head,
nl.tue.astar.Trace trace) |
Modifier and Type | Method and Description |
---|---|
protected int |
NAryTreeReplayerWithoutILP.calculateCostAndPostProcess(NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
Constructor and Description |
---|
NAryTreeReplayerWithoutILP(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2cost,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments,
nl.tue.astar.AStarObserver... observers) |
Modifier and Type | Method and Description |
---|---|
TreeRecord |
NAryTreeFullILPDelegate.createInitialRecord(NAryTreeHead head,
nl.tue.astar.Trace trace) |
Modifier and Type | Method and Description |
---|---|
protected int |
NAryTreeReplayerWithFullILP.calculateCostAndPostProcess(NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
Constructor and Description |
---|
NAryTreeReplayerWithFullILP(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2cost,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments,
boolean useOrRows,
nl.tue.astar.AStarObserver... observers) |
Modifier and Type | Method and Description |
---|---|
TreeRecord |
NAryTreeHybridILPDelegate.createInitialRecord(NAryTreeHead head,
nl.tue.astar.Trace trace) |
Modifier and Type | Method and Description |
---|---|
protected int |
NAryTreeReplayerWithHybridILP.calculateCostAndPostProcess(NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
Constructor and Description |
---|
NAryTreeReplayerWithHybridILP(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2cost,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments,
boolean useOrRows,
nl.tue.astar.AStarObserver... observers) |
Modifier and Type | Method and Description |
---|---|
protected int |
NAryTreeReplayerWithLP.calculateCostAndPostProcess(NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
Constructor and Description |
---|
NAryTreeReplayerWithLP(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2cost,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments,
boolean useOrRows,
nl.tue.astar.AStarObserver... observers) |
Modifier and Type | Method and Description |
---|---|
TreeRecord |
NAryTreeNativeILPDelegate.createInitialRecord(NAryTreeHead head,
nl.tue.astar.Trace trace) |
Modifier and Type | Method and Description |
---|---|
protected int |
NAryTreeReplayerWithNativeILP.calculateCostAndPostProcess(NAryTreeReplayer.VerboseLevel verbose,
nl.tue.astar.Trace trace,
TreeRecord r,
int frequency) |
Constructor and Description |
---|
NAryTreeReplayerWithNativeILP(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2cost,
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2modelmove,
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2visitCount,
int[] syncMoveCount,
int[] aSyncMoveCount,
int[] moveCount,
java.util.Map<nl.tue.astar.Trace,TreeRecord> alignments,
boolean useOrRows,
boolean useBasisHistory,
nl.tue.astar.AStarObserver... observers) |