Uses of Interface
nl.tue.astar.Tail
-
Packages that use Tail Package Description nl.tue.astar nl.tue.astar.impl nl.tue.astar.impl.memefficient -
-
Uses of Tail in nl.tue.astar
Classes in nl.tue.astar with type parameters of type Tail Modifier and Type Interface Description interfaceAStarThread<H extends Head,T extends Tail>Interface for computing one (or more) alignments between a trace and a model.static classAStarThread.CPUEfficient<H extends Head,T extends Tail>static classAStarThread.MemoryEfficient<H extends Head,T extends Tail>interfaceDelegate<H extends Head,T extends Tail>interfaceObservableAStarThread<H extends Head,T extends Tail>Subinterfaces of Tail in nl.tue.astar Modifier and Type Interface Description interfaceFastLowerBoundTailMethods in nl.tue.astar with type parameters of type Tail Modifier and Type Method Description <H extends Head,T extends Tail>
State<H,T>Record. getState(CompressedStore<State<H,T>> storage)retrieves the state stored at index getState() from the storage.Methods in nl.tue.astar that return Tail Modifier and Type Method Description 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.Method parameters in nl.tue.astar with type arguments of type Tail 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; -
Uses of Tail in nl.tue.astar.impl
Classes in nl.tue.astar.impl with type parameters of type Tail Modifier and Type Class Description classAbstractAStarThread<H extends Head,T extends Tail>static interfaceAbstractAStarThread.StorageHandler<H extends Head,T extends Tail>The storageHandler handles the storing and retrieving of elements from the statespace searched by the AStar algorithmclassJavaCollectionStorageHandler<H extends Head,T extends Tail>classState<H extends Head,T extends Tail>A State can be constructed with or without a tail Both equals and hashcode are defined on the head only The tail is not guaranteed to be non-nullclassStateCompressor<H extends Head,T extends Tail>Classes in nl.tue.astar.impl that implement Tail Modifier and Type Class Description classDijkstraTailImplementation of the tail that implements the Dijkstra estimate for the AStar, i.e.Methods in nl.tue.astar.impl that return Tail Modifier and Type Method Description 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)Method parameters in nl.tue.astar.impl with type arguments of type Tail 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) -
Uses of Tail in nl.tue.astar.impl.memefficient
Classes in nl.tue.astar.impl.memefficient with type parameters of type Tail Modifier and Type Class Description classMemoryEfficientAStarAlgorithm<H extends Head,T extends Tail>classMemoryEfficientStorageHandler<H extends Head,T extends Tail>interfaceStorageAwareDelegate<H extends Head,T extends Tail>interfaceTailInflater<T extends Tail>
-