Infinite state-space truncator which generates a probability within a window
Static Public Member Functions | Static Public Attributes | List of all members
stamina::gui::PrefInfo::CounterExampleGeneration Struct Reference

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

The documentation for this struct was generated from the following file: