STAMINA/STORM 0.1
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:
Generated by doxygen 1.9.3