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

Static Public Member Functions

static void setDefaults ()
 

Static Public Attributes

static double kappa
 
static double rKappa
 
static double window
 
static bool earlyTerminationProperty
 
static uint16_t maxIterations
 
static uint8_t maxApproxIterations
 
static bool exportTransitions
 
static std::string transitionsFile
 
static bool exportPerimeterStates
 
static std::string perimeterStatesFile
 
static uint8_t truncationMethod
 
static uint8_t threads
 

Member Data Documentation

◆ kappa

double stamina::gui::PrefInfo::ModelBuilding::kappa
inlinestatic

NOTE: These are the values SENT to stamina::core::Options. They do NOT mirror those values.


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