Modifier and Type | Method and Description |
---|---|
java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> |
BehaviorCounter.getMarking2ModelMove()
The Marking to Model move map records for all markings (which is a set of
enabled nodes, the marking, and the sequence of nodes followed to get to
the marking), the set of model moves that have been made from this
marking (considering model moves and synchronous moves).
|
gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> |
BehaviorCounter.getMarking2VisitCount()
The Marking to Visit Count map records for all markings (which is a set
of enabled nodes, the marking, and the sequence of nodes followed to get
to the marking) how often it was visited while replaying the entire log
(considering model moves and synchronous moves).
|
Modifier and Type | Method and Description |
---|---|
void |
BehaviorCounter.setMarking2ModelMove(java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> marking2ModelMove) |
void |
BehaviorCounter.setMarking2VisitCount(gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> marking2VisitCount) |
Constructor and Description |
---|
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) |
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) |
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 | Field and Description |
---|---|
protected java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> |
NAryTreePostProcessor.marking2modelmove |
protected java.util.Map<TreeMarkingVisit<ModelPrefix>,gnu.trove.set.TIntSet> |
NAryTreePostProcessor.marking2treenode |
protected gnu.trove.map.TObjectIntMap<TreeMarkingVisit<ModelPrefix>> |
NAryTreePostProcessor.marking2visitCount |
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) |
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) |
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) |
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) |
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,
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |