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::General Struct Reference

Static Public Member Functions

static void setDefaults ()

Static Public Attributes

static bool modelFileFromExtension
static bool saveModifiedCSL
static bool truncateModel
static bool generateCounterexamples
static bool createRefinedProperties
static bool verboseLog
static uint8_t tabSize
static bool useTabs

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