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 uint32_t | maxDistance |
static bool | useScaffolding |
static uint32_t | numberScaffolds |
static uint32_t | numberCounterexamples |