STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
Public Member Functions | |
bool | operator() (const ProbabilityStatePair< StateType > first, const ProbabilityStatePair< StateType > second) const |