STAMINA/STORM 0.1
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

Classes

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:
Generated by doxygen 1.9.3