Interface | Description |
---|---|
AbstractAStarThreadNoModelMoves.StorageHandler<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> |
The storageHandler handles the storing and retrieving of elements from
the statespace searched by the AStar algorithm
|
AStarThread<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> |
Interface for computing one (or more) alignments between a trace and a model.
|
AStarThread.Canceller | |
ObservableAStarThread<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> |
Class | Description |
---|---|
AbstractAllOptAlignmentsAlg<D extends AbstractPDelegate<T>,T extends nl.tue.astar.Tail> | |
AbstractAllOptAlignmentsGraphAlg<D extends AbstractPDelegate<T>,T extends nl.tue.astar.Tail> | |
AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes | |
AbstractAStarThreadNoModelMoves<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> | |
AbstractPDelegate<T extends nl.tue.astar.Tail> | |
AllOptAlignmentsGraphSamplingAlg | |
AllSamplingOptAlignmentsGraphThread<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> |
this thread sort
|
AllSamplingOptAlignmentsGraphThread.CPUEfficient<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> |
CPU efficient variant of the Stubborn set implementation
|
AllSamplingOptAlignmentsGraphThread.MemoryEfficient<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> |
Memory efficient variant of the Stubborn set implementation
|
AStarThread.CPUEfficient<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> | |
AStarThread.MemoryEfficient<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> | |
CostBasedCompleteParam | |
JavaCollectionStorageHandlerNoModelMoves<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> | |
MemoryEfficientAStarAlgorithm<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> | |
MemoryEfficientStorageHandlerNoModelMoves<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> | |
NBestOptAlignmentsNoModelMoveGraphSamplingAlg | |
PDelegate | |
PHead |
The head is basically two vectors, one for the marking and one for the parikh
vector.
|
PHead.HashContainer | |
PHeadCompressor<T extends nl.tue.astar.Tail> | |
PRecord | |
StateCompressor<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> |
Enum | Description |
---|---|
AbstractAStarThreadNoModelMoves.QueueingModel | |
AStarThread.ASynchronousMoveSorting |
Enumeration to set the sorting of moves.
|
AStarThread.Type |