STAMINA/PRISM 2.0
Infinite state-space truncator which generates a probability within a window
Public Member Functions | List of all members
stamina.ProbState Class Reference
Inheritance diagram for stamina.ProbState:

Public Member Functions

 ProbState (State s)
 
boolean isStateTerminal ()
 
void setStateTerminal (boolean flag)
 
boolean isStateAbsorbing ()
 
void setStateAbsorbing (boolean flag)
 
double getCurReachabilityProb ()
 
void setCurReachabilityProb (double reachProb)
 
void addToReachability (double newReach)
 
void subtractFromReachability (double minusReach)
 
String toString ()
 

Constructor & Destructor Documentation

◆ ProbState()

stamina.ProbState.ProbState ( State  s)
inline

Constructor. Sets the current reachability probability to 0, and the state to terminal and not absorbing.

Parameters
sThe state we are building from.

Member Function Documentation

◆ addToReachability()

void stamina.ProbState.addToReachability ( double  newReach)
inline

Adds to reachability probability, maxing at 1.0

Parameters
newReachAmount to add to reachability probability.

◆ getCurReachabilityProb()

double stamina.ProbState.getCurReachabilityProb ( )
inline

Gets the current reachability probability of this state.

Returns
The current reachability probability.

◆ isStateAbsorbing()

boolean stamina.ProbState.isStateAbsorbing ( )
inline

Gets whether or not the state is absorbing

Returns
Whether the state is absorbing or not.

◆ isStateTerminal()

boolean stamina.ProbState.isStateTerminal ( )
inline

Gets whether or not the state is terminal.

Returns
Whether or not the state is terminal

◆ setCurReachabilityProb()

void stamina.ProbState.setCurReachabilityProb ( double  reachProb)
inline

Sets the current reachability probability.

Parameters
reachProbThe new reachability probability.

◆ setStateAbsorbing()

void stamina.ProbState.setStateAbsorbing ( boolean  flag)
inline

Sets whether or not this state is absorbing.

Parameters
flagWhether or not this state is absorbing.

◆ setStateTerminal()

void stamina.ProbState.setStateTerminal ( boolean  flag)
inline

Sets whether or not the state is terminal.

Parameters
flagWhether or not the state is terminal.

◆ subtractFromReachability()

void stamina.ProbState.subtractFromReachability ( double  minusReach)
inline

Subtracts from reachability probability, min at 0.0.

Parameters
minusReachThe amount to subtract from reachability probability.

◆ toString()

String stamina.ProbState.toString ( )
inline

Get string representation, e.g. "(0,true,5)".


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