STAMINA/PRISM 2.0
Infinite state-space truncator which generates a probability within a window
stamina.Options Member List

This is the complete list of members for stamina.Options, including all inherited members.

getCuddMemoryLimit()stamina.Optionsinlinestatic
getExportFileName()stamina.Optionsinlinestatic
getExportModel()stamina.Optionsinlinestatic
getExportPerimeterFilename()stamina.Optionsinlinestatic
getExportPerimeterStates()stamina.Optionsinlinestatic
getExportTransitionsToFile()stamina.Optionsinlinestatic
getImportFileName()stamina.Optionsinlinestatic
getImportModel()stamina.Optionsinlinestatic
getKappaReductionFactor()stamina.Optionsinlinestatic
getMaxApproxCount()stamina.Optionsinlinestatic
getMispredictionFactor()stamina.Optionsinlinestatic
getNoPropRefine()stamina.Optionsinlinestatic
getProbErrorWindow()stamina.Optionsinlinestatic
getPropertyName()stamina.Optionsinlinestatic
getRankTransitions()stamina.Optionsinlinestatic
getReachabilityThreshold()stamina.Optionsinlinestatic
getSpecificProperty()stamina.Optionsinlinestatic
setCuddMemoryLimit(String limit)stamina.Optionsinlinestatic
setExportFileName(String s)stamina.Optionsinlinestatic
setExportModel(boolean e)stamina.Optionsinlinestatic
setExportPerimeterFilename(String s)stamina.Optionsinlinestatic
setExportPerimeterStates(boolean b)stamina.Optionsinlinestatic
setExportTransitionsToFile(String b)stamina.Optionsinlinestatic
setImportFileName(String s)stamina.Optionsinlinestatic
setImportModel(boolean e)stamina.Optionsinlinestatic
setKappaReductionFactor(double fac)stamina.Optionsinlinestatic
setMaxRefinementCount(int rc)stamina.Optionsinlinestatic
setMispredictionFactor(double fac)stamina.Optionsinlinestatic
setNoPropRefine(boolean o)stamina.Optionsinlinestatic
setProbErrorWindow(double w)stamina.Optionsinlinestatic
setPropertyName(String s)stamina.Optionsinlinestatic
setRankTransitions(boolean o)stamina.Optionsinlinestatic
setReachabilityThreshold(double reach)stamina.Optionsinlinestatic
setSpecificProperty(boolean b)stamina.Optionsinlinestatic
Generated by doxygen 1.9.3