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

Static Public Member Functions

static void setDefaults ()
 

Static Public Attributes

static bool useSylvan
 
static bool useCudd
 
static std::string cuddLimit
 
static bool stormVerbose
 
The documentation for this struct was generated from the following file:
Generated by doxygen 1.9.3