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

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: