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

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

addToReachability(double newReach)stamina.ProbStateinline
getCurReachabilityProb()stamina.ProbStateinline
isStateAbsorbing()stamina.ProbStateinline
isStateTerminal()stamina.ProbStateinline
ProbState(State s)stamina.ProbStateinline
setCurReachabilityProb(double reachProb)stamina.ProbStateinline
setStateAbsorbing(boolean flag)stamina.ProbStateinline
setStateTerminal(boolean flag)stamina.ProbStateinline
subtractFromReachability(double minusReach)stamina.ProbStateinline
toString()stamina.ProbStateinline
Generated by doxygen 1.9.3