STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
Public Member Functions | Public Attributes | List of all members
xstamina.XStamina Class Reference
Inheritance diagram for xstamina.XStamina:

Public Member Functions

def __init__ (self, parent=None)
 
def addFormButtons (self)
 
def addRowWithBrowse (self, widget, browse, label, open=True, allowedExts={"txt":"Text Files"})
 
def showMoreOptions (self)
 
def getImportFilePath (self, textbox, allowedExtensions)
 
def getExportFilePath (self, textbox, allowedExtensions)
 
def createExtensionMask (self, allowedExtensions, allFiles=True)
 
def setGroupBoxesEnabled (self, storm)
 
def runStamina (self)
 
def trace (self, proc)
 
def run (self)
 

Public Attributes

 options
 
 output
 
 leftLayout
 
 optionsVisible
 
 executable
 
 modFile
 
 browseModFile
 
 propFile
 
 browsePropFile
 
 consts
 
 export
 
 browseExport
 
 useStorm
 
 usePrism
 
 moreOptions
 
 start
 

Constructor & Destructor Documentation

◆ __init__()

def xstamina.XStamina.__init__ (   self,
  parent = None 
)
Constructor for XStamina class. Sets up widgets and creates MoreOptions class

Member Function Documentation

◆ addFormButtons()

def xstamina.XStamina.addFormButtons (   self)
Adds buttons to the main window. This is called by the constructor

◆ addRowWithBrowse()

def xstamina.XStamina.addRowWithBrowse (   self,
  widget,
  browse,
  label,
  open = True,
  allowedExts = {"txt":"Text Files"} 
)
Adds a row with a text box and a browse button

◆ createExtensionMask()

def xstamina.XStamina.createExtensionMask (   self,
  allowedExtensions,
  allFiles = True 
)
Creates a file extension mask for a QFileDialog

◆ getExportFilePath()

def xstamina.XStamina.getExportFilePath (   self,
  textbox,
  allowedExtensions 
)
Gets an export file path

◆ getImportFilePath()

def xstamina.XStamina.getImportFilePath (   self,
  textbox,
  allowedExtensions 
)
Gets an import fle path

◆ run()

def xstamina.XStamina.run (   self)
Runs STAMINA with the selected options

◆ showMoreOptions()

def xstamina.XStamina.showMoreOptions (   self)
Shows the builtin 'MoreOptions' window

◆ trace()

def xstamina.XStamina.trace (   self,
  proc 
)
Watches the subprocess and places output in the textbox

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