Package nl.tue.astar
-
Interface Summary Interface Description AStarObserver AStarThread<H extends Head,T extends Tail> Interface for computing one (or more) alignments between a trace and a model.AStarThread.Canceller Delegate<H extends Head,T extends Tail> FastLowerBoundTail Head The head determines the state in the search space.ObservableAStarThread<H extends Head,T extends Tail> Record Stores the little bit of information needed per volatile state in the AStarAlgorithm.Tail The tail provides the actual estimate for a head.Trace interface to represent a trace. -
Class Summary Class Description AStarThread.CPUEfficient<H extends Head,T extends Tail> AStarThread.MemoryEfficient<H extends Head,T extends Tail> -
Enum Summary Enum Description AStarThread.ASynchronousMoveSorting Enumeration to set the sorting of moves.AStarThread.QueueingModel AStarThread.Type -
Exception Summary Exception Description AStarException