Modifier and Type | Method and Description |
---|---|
AStarAlgorithm |
CentralRegistry.getaStarAlgorithm() |
AStarAlgorithm |
CentralRegistry.getEmptyAStarAlgorithm()
Returns the
AStarAlgorithm instance build on an empty event log
(mainly used by the
FitnessReplay
metric to normalize the costs of the alignments |
Modifier and Type | Method and Description |
---|---|
AStarAlgorithm |
AlignmentInfo.getAlgorithm() |
Modifier and Type | Method and Description |
---|---|
void |
AlignmentInfo.setAlgorithm(AStarAlgorithm algorithm) |
Constructor and Description |
---|
AlignmentInfo(java.util.Map<NAryTree,TreeRecord> alignmentCache,
AStarAlgorithm algorithm) |
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 | Field and Description |
---|---|
protected AStarAlgorithm |
AbstractNAryTreeDelegate.algorithm |
protected AStarAlgorithm |
AbstractNAryTreeReplayer.aStarLogAbstraction |
Modifier and Type | Method and Description |
---|---|
AStarAlgorithm |
AbstractNAryTreeDelegate.getAStarAlgorithm() |
Modifier and Type | Method and Description |
---|---|
protected abstract D |
AbstractNAryTreeReplayer.constructDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2Cost,
int threads,
boolean useOrRows)
construct the delegate of the right type for the version of the replayer
to be used.
|
Constructor and Description |
---|
AbstractNAryTreeDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads) |
AbstractNAryTreeLPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useInt,
boolean useSemiCon,
int timeOut,
int varUpBo) |
AbstractNAryTreeLPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useInt,
boolean useSemiCon,
int timeOut,
int varUpBo,
boolean useORRows) |
AbstractNAryTreeReplayer(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2Cost,
boolean useOrRows,
nl.tue.astar.AStarObserver... observers)
Single threaded variant
|
AbstractNAryTreeReplayer(AStarAlgorithm aStarLogAbstraction,
nl.tue.astar.AStarThread.Canceller canceller,
NAryTree tree,
int configurationNumber,
int[] node2Cost,
boolean useOrRows,
int nrThreads,
nl.tue.astar.AStarObserver... observers) |
AStarAlgorithm(AStarAlgorithm originalAStar,
gnu.trove.map.TObjectIntMap<nl.tue.astar.Trace> _converted,
int _lengthLongestTrace,
int[] _maxOccInTrace) |
Modifier and Type | Method and Description |
---|---|
protected NAryTreeBasisILPDelegate |
NAryTreeReplayerWithBasisILP.constructDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Constructor and Description |
---|
NAryTreeBasisILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads) |
NAryTreeBasisILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
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 NAryTreeBasis2ILPDelegate |
NAryTreeReplayerWithBasis2ILP.constructDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Constructor and Description |
---|
NAryTreeBasis2ILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads) |
NAryTreeBasis2ILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
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 |
---|---|
protected NAryTreeEmptyDelegate |
NAryTreeReplayerWithoutILP.constructDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Constructor and Description |
---|
NAryTreeEmptyDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2Cost,
int threads) |
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 |
---|---|
protected NAryTreeFullILPDelegate |
NAryTreeReplayerWithFullILP.constructDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Constructor and Description |
---|
NAryTreeFullILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
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 |
---|---|
protected NAryTreeHybridILPDelegate |
NAryTreeReplayerWithHybridILP.constructDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Constructor and Description |
---|
NAryTreeHybridILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads) |
NAryTreeHybridILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
NAryTreeHybridILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows,
boolean useInt) |
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 NAryTreeLPDelegate |
NAryTreeReplayerWithLP.constructDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Constructor and Description |
---|
NAryTreeLPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads) |
NAryTreeLPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
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 |
---|---|
protected NAryTreeNativeILPDelegate |
NAryTreeReplayerWithNativeILP.constructDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
Constructor and Description |
---|
NAryTreeNativeILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows) |
NAryTreeNativeILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows,
boolean useBasisHistory) |
NAryTreeNativeILPDelegate(AStarAlgorithm algorithm,
NAryTree tree,
int configurationNumber,
int[] node2cost,
int threads,
boolean useOrRows,
boolean useBasisHistory,
boolean useInt)
Deprecated.
Temporary constructor to allow LP tests
|
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) |