Uses of Interface
nl.tue.astar.Delegate
-
Packages that use Delegate Package Description nl.tue.astar nl.tue.astar.impl nl.tue.astar.impl.memefficient -
-
Uses of Delegate in nl.tue.astar
Methods in nl.tue.astar that return Delegate Modifier and Type Method Description Delegate<H,T>AStarThread. getDelegate()returns the delegate used for determining the possible moves during replay.Methods in nl.tue.astar with parameters of type Delegate Modifier and Type Method Description voidFastLowerBoundTail. computeEstimate(Delegate<? extends Head,? extends Tail> delegate, Head head, int lastEstimate)Starts the computation of the exact estimate on the first call.intFastLowerBoundTail. getEstimatedCosts(Delegate<? extends Head,? extends Tail> delegate, Head head)get an estimate of the remaining distance to the target state in the search.intTail. getEstimatedCosts(Delegate<? extends Head,? extends Tail> d, Head head)get an estimate of the remaining distance to the target state in the search.gnu.trove.list.TIntListHead. getModelMoves(Record rec, Delegate<? extends Head,? extends Tail> delegate)get the model moves that are possible.gnu.trove.TIntCollectionRecord. getNextEvents(Delegate<? extends Head,? extends Tail> delegate, Trace trace)return the events in the trace that are currently enabled.HeadHead. getNextHead(Record rec, Delegate<? extends Head,? extends Tail> d, int modelMove, int logMove, int activity)Produce the next head, given the moves.RecordRecord. getNextRecord(Delegate<? extends Head,? extends Tail> d, Trace trace, Head newHead, long state, int modelMove, int movedEvent, int activity)creates a new record, based on the operations m and l applied to the old head.TailTail. getNextTail(Delegate<? extends Head,? extends Tail> d, Head newHead, int modelMove, int logMove, int activity)constructs the new tail based on the two operations from the old head.<S> TailTail. getNextTailFromStorage(Delegate<? extends Head,? extends Tail> d, CompressedStore<S> store, long index, int modelMove, int logMove, int activity)constructs the new tail based on the two operations from the old state, which is stored in the given store at the given index.gnu.trove.list.TIntListHead. getSynchronousMoves(Record rec, Delegate<? extends Head,? extends Tail> delegate, gnu.trove.list.TIntList enabled, int activity)get the synchronous moves that are possible on activity, given the current list of enabled modelMoves.booleanHead. isFinal(Delegate<? extends Head,? extends Tail> delegate)checks if this head belongs to a final state;Constructors in nl.tue.astar with parameters of type Delegate Constructor Description CPUEfficient(Delegate<H,T> delegate, gnu.trove.map.TObjectIntMap<H> head2int, java.util.List<State<H,T>> stateList, H initialHead, Trace trace, int maxStates) -
Uses of Delegate in nl.tue.astar.impl
Fields in nl.tue.astar.impl declared as Delegate Modifier and Type Field Description protected Delegate<H,T>AbstractAStarThread. delegateMethods in nl.tue.astar.impl that return Delegate Modifier and Type Method Description Delegate<H,T>AbstractAStarThread. getDelegate()Methods in nl.tue.astar.impl with parameters of type Delegate Modifier and Type Method Description intDijkstraTail. getEstimatedCosts(Delegate<? extends Head,? extends Tail> d, Head head)TailDijkstraTail. getNextTail(Delegate<? extends Head,? extends Tail> d, Head oldHead, int modelMove, int logMove, int activity)<S> TailDijkstraTail. getNextTailFromStorage(Delegate<? extends Head,? extends Tail> d, CompressedStore<S> store, long index, int modelMove, int logMove, int activity)Constructors in nl.tue.astar.impl with parameters of type Delegate Constructor Description AbstractAStarThread(Delegate<H,T> delegate, Trace trace, int maxStates, AbstractAStarThread.StorageHandler<H,T> storageHandler)any implementation should, after calling this constructor, call initializeQueue(initialHead);JavaCollectionStorageHandler(Delegate<H,T> delegate, gnu.trove.map.TObjectIntMap<H> head2int, java.util.List<State<H,T>> stateList) -
Uses of Delegate in nl.tue.astar.impl.memefficient
Subinterfaces of Delegate in nl.tue.astar.impl.memefficient Modifier and Type Interface Description interfaceCachedStorageAwareDelegate<H extends Head,T extends FastLowerBoundTail>interfaceStorageAwareDelegate<H extends Head,T extends Tail>
-