Class and Description |
---|
AbstractPDelegate |
DijkstraPDelegate |
PDelegate |
PHead
The head is basically two vectors, one for the marking and one for the parikh
vector.
|
PILPDelegate |
PNaiveDelegate |
PRecord |
Class and Description |
---|
AbstractPDelegate |
AbstractPILPDelegate |
AStarRestrictedMoveModelThread |
PDelegate |
PHead
The head is basically two vectors, one for the marking and one for the parikh
vector.
|
PHeadCompressor |
PILPTail |
PILPTailCompressor |
PNaiveTail
Implementation of the tail that implements the estimate equal to the cost of
all synchronous moves
|
PRecord |
Class and Description |
---|
AbstractPDelegate |
Class and Description |
---|
AbstractPDelegate |
DijkstraPDelegate |
PDelegate |
PHead
The head is basically two vectors, one for the marking and one for the parikh
vector.
|
PHeadCompressor |
PILPDelegate |
PILPTail |
PNaiveTail
Implementation of the tail that implements the estimate equal to the cost of
all synchronous moves
|
PRecord |