STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
Static Public Member Functions | |
static void | setDefaults () |
Static Public Attributes | |
static bool | useSylvan |
static bool | useCudd |
static std::string | cuddLimit |
static bool | stormVerbose |