Static Public Member Functions
static double	getReachabilityThreshold ()

static void	setReachabilityThreshold (double reach)

static double	getKappaReductionFactor ()

static void	setKappaReductionFactor (double fac)

static double	getMispredictionFactor ()

static void	setMispredictionFactor (double fac)

static int	getMaxApproxCount ()

static void	setMaxRefinementCount (int rc)

static double	getProbErrorWindow ()

static void	setProbErrorWindow (double w)

static void	setNoPropRefine (boolean o)

static boolean	getNoPropRefine ()

static void	setRankTransitions (boolean o)

static boolean	getRankTransitions ()

static void	setCuddMemoryLimit (String limit)

static String	getCuddMemoryLimit ()

static boolean	getExportModel ()

static void	setExportModel (boolean e)

static String	getExportFileName ()

static void	setExportFileName (String s)

static boolean	getExportPerimeterStates ()

static void	setExportPerimeterStates (boolean b)

static String	getExportPerimeterFilename ()

static void	setExportPerimeterFilename (String s)

static boolean	getImportModel ()

static void	setImportModel (boolean e)

static String	getImportFileName ()

static void	setImportFileName (String s)

static boolean	getSpecificProperty ()

static void	setSpecificProperty (boolean b)

static String	getPropertyName ()

static void	setPropertyName (String s)

static String	getExportTransitionsToFile ()

static void	setExportTransitionsToFile (String b)

Member Function Documentation

◆ 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 P_min and P_max.

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

s	The filename.

◆ 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

s	The filename.

◆ 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

b	The filename.

◆ setImportFileName()

static void stamina.Options.setImportFileName ( String s )

inlinestatic

Sets the filename we are going to import from.

Parameters

s	The filename.

◆ 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 P_min and P_max.

Parameters

w	The window to be set.

◆ setPropertyName()

static void stamina.Options.setPropertyName ( String s )

inlinestatic

Sets the property name of this property.

Parameters

s	The property name.

◆ 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

Static Public Member Functions

Member Function Documentation

◆ getCuddMemoryLimit()

◆ getExportFileName()

◆ getExportModel()

◆ getExportPerimeterFilename()

◆ getExportPerimeterStates()

◆ getExportTransitionsToFile()

◆ getImportFileName()

◆ getImportModel()

◆ getKappaReductionFactor()

◆ getMaxApproxCount()

◆ getMispredictionFactor()

◆ getNoPropRefine()

◆ getProbErrorWindow()

◆ getPropertyName()

◆ getRankTransitions()

◆ getReachabilityThreshold()

◆ getSpecificProperty()

◆ setCuddMemoryLimit()

◆ setExportFileName()

◆ setExportModel()

◆ setExportPerimeterFilename()

◆ setExportPerimeterStates()

◆ setExportTransitionsToFile()

◆ setImportFileName()

◆ setImportModel()

◆ setKappaReductionFactor()

◆ setMaxRefinementCount()

◆ setMispredictionFactor()

◆ setNoPropRefine()

◆ setProbErrorWindow()

◆ setPropertyName()

◆ setRankTransitions()

◆ setReachabilityThreshold()

◆ setSpecificProperty()