◆ getCuddMemoryLimit()
static String stamina.Options.getCuddMemoryLimit |
( |
| ) |
|
|
inlinestatic |
Gets the cudd memory limit available to STAMINA.
- Returns
- The memory limit formatted as a string.
◆ getExportFileName()
static String stamina.Options.getExportFileName |
( |
| ) |
|
|
inlinestatic |
Gets the filename the model will be exported to.
- Returns
- The filename.
◆ getExportModel()
static boolean stamina.Options.getExportModel |
( |
| ) |
|
|
inlinestatic |
Gets whether or not we will be exporting the model
- Returns
- Whether or not the model is to be exported.
◆ getExportPerimeterFilename()
static String stamina.Options.getExportPerimeterFilename |
( |
| ) |
|
|
inlinestatic |
Gets the filename we will export perimter states to.
- Returns
- The filename.
◆ getExportPerimeterStates()
static boolean stamina.Options.getExportPerimeterStates |
( |
| ) |
|
|
inlinestatic |
Gets whether or not we are going to export perimeter states.
- Returns
- If perimeter states are to be exported.
◆ getExportTransitionsToFile()
static String stamina.Options.getExportTransitionsToFile |
( |
| ) |
|
|
inlinestatic |
Gets the filename where the transition matrix will be exported.
- Returns
- The filename.
◆ getImportFileName()
static String stamina.Options.getImportFileName |
( |
| ) |
|
|
inlinestatic |
Gets the filename we are going to import from.
- Returns
- The filename.
◆ getImportModel()
static boolean stamina.Options.getImportModel |
( |
| ) |
|
|
inlinestatic |
Gets whether or not we are going to import a model.
- Returns
- Whether or not to import a model.
◆ getKappaReductionFactor()
static double stamina.Options.getKappaReductionFactor |
( |
| ) |
|
|
inlinestatic |
Gets the reduction factor associated with the reachability threshold (rκ).
- Returns
- Kappa reduction factor.
◆ getMaxApproxCount()
static int stamina.Options.getMaxApproxCount |
( |
| ) |
|
|
inlinestatic |
Gets the max approximate count: maximum number of iterations used in computing the upper and lower bounds of the probabilities of reaching a certain state.
- Returns
- Max approximate count.
◆ getMispredictionFactor()
static double stamina.Options.getMispredictionFactor |
( |
| ) |
|
|
inlinestatic |
Gets the misprediction factor.
- Returns
- The misprediction factor.
◆ getNoPropRefine()
static boolean stamina.Options.getNoPropRefine |
( |
| ) |
|
|
inlinestatic |
Gets whether or not we are using property based refinement.
- Returns
- Whether or not we are using property based refinement.
◆ getProbErrorWindow()
static double stamina.Options.getProbErrorWindow |
( |
| ) |
|
|
inlinestatic |
Gets the maximum allowed difference between Pmin and Pmax.
- Returns
- Probability error window.
◆ getPropertyName()
static String stamina.Options.getPropertyName |
( |
| ) |
|
|
inlinestatic |
Gets the property name of this property.
- Returns
- The property name.
◆ getRankTransitions()
static boolean stamina.Options.getRankTransitions |
( |
| ) |
|
|
inlinestatic |
Gets whether or not we are using rank transitions.
- Returns
- Whether rank transitions are used or not.
◆ getReachabilityThreshold()
static double stamina.Options.getReachabilityThreshold |
( |
| ) |
|
|
inlinestatic |
Gets reachability threshold (κ) as double.
- Returns
- The reachability threshold.
◆ getSpecificProperty()
static boolean stamina.Options.getSpecificProperty |
( |
| ) |
|
|
inlinestatic |
Gets whether or not this is a specific property.
- Returns
- Whether or not this is a specific property.
◆ setCuddMemoryLimit()
static void stamina.Options.setCuddMemoryLimit |
( |
String |
limit | ) |
|
|
inlinestatic |
Sets the cudd memory limit available to STAMINA.
- Parameters
-
limit | The memory limit formatted as string. |
◆ setExportFileName()
static void stamina.Options.setExportFileName |
( |
String |
s | ) |
|
|
inlinestatic |
Sets the filename the model will be exported to.
- Parameters
-
◆ setExportModel()
static void stamina.Options.setExportModel |
( |
boolean |
e | ) |
|
|
inlinestatic |
Sets whether or not we will be exporting the model.
- Parameters
-
e | Whether or not the model is to be exported. |
◆ setExportPerimeterFilename()
static void stamina.Options.setExportPerimeterFilename |
( |
String |
s | ) |
|
|
inlinestatic |
Sets the filename we will export perimeter states to.
- Parameters
-
◆ setExportPerimeterStates()
static void stamina.Options.setExportPerimeterStates |
( |
boolean |
b | ) |
|
|
inlinestatic |
Sets whether or not we are going to export perimeter states.
- Parameters
-
b | If perimeter states are to be exported. |
◆ setExportTransitionsToFile()
static void stamina.Options.setExportTransitionsToFile |
( |
String |
b | ) |
|
|
inlinestatic |
Sets the filename where the transition matrix will be exported.
- Parameters
-
◆ setImportFileName()
static void stamina.Options.setImportFileName |
( |
String |
s | ) |
|
|
inlinestatic |
Sets the filename we are going to import from.
- Parameters
-
◆ setImportModel()
static void stamina.Options.setImportModel |
( |
boolean |
e | ) |
|
|
inlinestatic |
Sets whether or not we are going to import a model.
- Parameters
-
e | Whether or not to import a model. |
◆ setKappaReductionFactor()
static void stamina.Options.setKappaReductionFactor |
( |
double |
fac | ) |
|
|
inlinestatic |
Sets the reduction factor associated with the reachability threshold (rκ).
- Parameters
-
fac | New kappa reduction factor |
◆ setMaxRefinementCount()
static void stamina.Options.setMaxRefinementCount |
( |
int |
rc | ) |
|
|
inlinestatic |
Sets the maximum number of iterations used in computing the upper and lower bounds of the probabilities of reaching a certain state.
- Parameters
-
rc | The maximum number of iterations. |
◆ setMispredictionFactor()
static void stamina.Options.setMispredictionFactor |
( |
double |
fac | ) |
|
|
inlinestatic |
Sets a new misprediction factor.
- Parameters
-
fac | New misprediction factor. |
◆ setNoPropRefine()
static void stamina.Options.setNoPropRefine |
( |
boolean |
o | ) |
|
|
inlinestatic |
Sets whether or not we are using property based refinement.
- Parameters
-
o | Whether or not to use property based refinement. |
◆ setProbErrorWindow()
static void stamina.Options.setProbErrorWindow |
( |
double |
w | ) |
|
|
inlinestatic |
Sets the maximum allowed difference between Pmin and Pmax.
- Parameters
-
◆ setPropertyName()
static void stamina.Options.setPropertyName |
( |
String |
s | ) |
|
|
inlinestatic |
Sets the property name of this property.
- Parameters
-
◆ setRankTransitions()
static void stamina.Options.setRankTransitions |
( |
boolean |
o | ) |
|
|
inlinestatic |
Sets whether or not we are using rank transitions.
- Parameters
-
o | Rank transitions are used or not. |
◆ setReachabilityThreshold()
static void stamina.Options.setReachabilityThreshold |
( |
double |
reach | ) |
|
|
inlinestatic |
Sets the reachability threshold (κ).
- Parameters
-
reach | New reachability threshold. |
◆ setSpecificProperty()
static void stamina.Options.setSpecificProperty |
( |
boolean |
b | ) |
|
|
inlinestatic |
Sets whether or not this is a specific property.
- Parameters
-
b | Whether or not this is a specific property. |
The documentation for this class was generated from the following file:
- /home/josh/Documents/Work/Research/stamina/stamina/src/stamina/Options.java