| 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 |
| PILPDelegate |
| 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 |