STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
Static Public Attributes | |
static const OperandAndDescription | binaryOperands [] |
static const OperandAndDescription | unaryOperands [] |
|
inlinestatic |
|
inlinestatic |