Infinite state-space truncator which generates a probability within a window
Classes | Static Public Member Functions | Static Public Attributes | List of all members
stamina::gui::PrefInfo Class Reference


struct  CounterExampleGeneration
struct  General
struct  ModelBuilding
struct  ModelChecking
struct  PropertyRefinement

Static Public Member Functions

static void setDefaults ()

Static Public Attributes

static const std::string prefPath = ".xstaminarc"

The documentation for this class was generated from the following files: