MoreOptions.MoreOptions Class Reference

Inheritance diagram for MoreOptions.MoreOptions:

Public Member Functions
def	__init__ (self, parent=None)
def	setInitValues (self)
def	setupFormButtons (self)
def	setUpOptions (self, opts, groupName=None)
def	checkValues (self)

Public Attributes
	optionWidgets
	mainLayout
	stormOptions
	prismOptions
	defaultsButton
	doneButton

Static Public Attributes
dictionary	OPTIONS_GENERAL
dictionary	OPTIONS_STORM
dictionary	OPTIONS_PRISM
dictionary	DEFAULT_VALUES
dictionary	SETTINGS_TYPES

Member Data Documentation

DEFAULT_VALUES

dictionary MoreOptions.MoreOptions.DEFAULT_VALUES

static

Initial value:

=  {
        "Reachability Threshold (Kappa)":1
        , "Kappa Reduction Factor":1.25
        , "Approximation Factor":2
        , "Probability Window":1e-3
        , "Maximum Iterations":10000
        , "Property Refinement":False
        , "Export Modified Model":False
        , "Export Modified Properties":False
        , "Rank Transitions":False
        , "Use Default Method":True
        , "Use Power Method":False
        , "Use Jacobi Method":False
        , "Use Gauss-Seidel Method":False
        , "Use Backwards Gauss-Seidel Method":False
        , "Use STAMINA Iterative method":True
        , "Use STAMINA Priority Method":False
    }

OPTIONS_GENERAL

dictionary MoreOptions.MoreOptions.OPTIONS_GENERAL

static

Initial value:

=  {
        "Reachability Threshold (Kappa)":ITypes.TEXT
        , "Kappa Reduction Factor":ITypes.TEXT
        , "Approximation Factor":ITypes.TEXT
        , "Probability Window":ITypes.TEXT
        , "Maximum Iterations":ITypes.TEXT
        , "Property Refinement":ITypes.CHECKBOX
    }

OPTIONS_PRISM

dictionary MoreOptions.MoreOptions.OPTIONS_PRISM

static

Initial value:

=  {
        "Rank Transitions":ITypes.CHECKBOX
        , "Use Default Method":ITypes.CHOICE
        , "Use Power Method":ITypes.CHOICE
        , "Use Jacobi Method":ITypes.CHOICE
        , "Use Gauss-Seidel Method":ITypes.CHOICE
        , "Use Backwards Gauss-Seidel Method":ITypes.CHOICE
    }

OPTIONS_STORM

dictionary MoreOptions.MoreOptions.OPTIONS_STORM

static

Initial value:

=  {
        "Export Modified Model":ITypes.CHECKBOX
        , "Export Modified Properties":ITypes.CHECKBOX
        , "Use STAMINA Iterative method":ITypes.CHOICE
        , "Use STAMINA Priority Method":ITypes.CHOICE
    }

SETTINGS_TYPES

dictionary MoreOptions.MoreOptions.SETTINGS_TYPES

static

Initial value:

=  {
        "Reachability Threshold (Kappa)":float
        , "Kappa Reduction Factor":float
        , "Approximation Factor":float
        , "Probability Window":float
        , "Maximum Iterations":int
        , "Property Refinement":bool
        , "Export Modified Model":bool
        , "Export Modified Properties":bool
        , "Rank Transitions":bool
        , "Use Default Method":bool
        , "Use Power Method":bool
        , "Use Jacobi Method":bool
        , "Use Gauss-Seidel Method":bool
        , "Use Backwards Gauss-Seidel Method":bool
        , "Use STAMINA Iterative method":bool
        , "Use STAMINA Priority Method":bool
    }

---

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

• /home/josh/Documents/Work/stamina-cplusplus/src/gui-depricated/MoreOptions.py