public abstract class AllOptAlignmentsGraphThread<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail>
extends nl.tue.astar.impl.AbstractAStarThread<H,T>
Modifier and Type | Class and Description |
---|---|
static class |
AllOptAlignmentsGraphThread.CPUEfficient<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail>
CPU efficient variant of the Stubborn set implementation
|
static class |
AllOptAlignmentsGraphThread.MemoryEfficient<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail>
Memory efficient variant of the Stubborn set implementation
|
Modifier and Type | Field and Description |
---|---|
protected gnu.trove.map.TLongIntMap |
considered2cost |
protected java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> |
mapToStatesWSameSuffix |
Constructor and Description |
---|
AllOptAlignmentsGraphThread(nl.tue.astar.Delegate<H,T> delegate,
nl.tue.astar.Trace trace,
int maxStates,
nl.tue.astar.impl.AbstractAStarThread.StorageHandler<H,T> storageHandler) |
Modifier and Type | Method and Description |
---|---|
void |
closeObservers() |
java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> |
getMapToStatesWSameSuffix()
This is a new method that only exists in this thread.
|
protected boolean |
isValidMoveOnLog(nl.tue.astar.Record rec,
int nextEvent,
int activity,
gnu.trove.list.TIntList modelMoves,
gnu.trove.list.TIntList syncMoves)
This is required such that reordering between move sync and move model is
computed
|
protected boolean |
isValidMoveOnModel(nl.tue.astar.Record rec,
gnu.trove.TIntCollection nextEvents,
int activity,
gnu.trove.list.TIntList modelMoves)
This is required such that reordering between move sync and move model is
computed
|
protected void |
processMove(H head,
T tail,
nl.tue.astar.Record rec,
int modelMove,
int movedEvent,
int activity) |
protected void |
setConsidered(nl.tue.astar.Record record) |
addObserver, computeNewTail, computeNextHead, getComputedEstimateCount, getDelegate, getOptimalRecord, getOptimalRecord, getOptimalRecord, getOptimalRecord, getPreferBreadth, getQueuedStateCount, getSorting, getTrace, getTraversedArcCount, getType, getVisitedStateCount, initializeQueue, poll, processMovesForRecord, processMovesForRecordWithUpToDateTail, removeObserver, setASynchronousMoveSorting, setEpsilon, setExpectedLength, setPreferBreadth, setQueue, setQueueingModel, setType, toString, wasReliable
protected final gnu.trove.map.TLongIntMap considered2cost
protected java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> mapToStatesWSameSuffix
protected void setConsidered(nl.tue.astar.Record record)
public void closeObservers()
public java.util.Map<nl.tue.astar.Record,java.util.List<nl.tue.astar.Record>> getMapToStatesWSameSuffix()
protected boolean isValidMoveOnLog(nl.tue.astar.Record rec, int nextEvent, int activity, gnu.trove.list.TIntList modelMoves, gnu.trove.list.TIntList syncMoves)
protected boolean isValidMoveOnModel(nl.tue.astar.Record rec, gnu.trove.TIntCollection nextEvents, int activity, gnu.trove.list.TIntList modelMoves)