Package nl.tue.astar.impl
-
Interface Summary Interface Description AbstractAStarThread.StorageHandler<H extends Head,T extends Tail> The storageHandler handles the storing and retrieving of elements from the statespace searched by the AStar algorithm -
Class Summary Class Description AbstractAStarThread<H extends Head,T extends Tail> AbstractCompressor<H> DijkstraTail Implementation of the tail that implements the Dijkstra estimate for the AStar, i.e.DotGraphAStarObserver DotSpanningTreeObserver FSMGraphAStarObserver FSMTraceAStarObserver JavaCollectionStorageHandler<H extends Head,T extends Tail> State<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-nullStateCompressor<H extends Head,T extends Tail>