stamina.InfCTMCModelGenerator Member List

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

calculateStateRewards(State state, double[] store)	stamina.InfCTMCModelGenerator	inline
clearPerimeterStatesVector()	stamina.InfCTMCModelGenerator	inline
computeTransitionTarget(int index, int offset)	stamina.InfCTMCModelGenerator	inline
computeTransitionTarget(int index)	stamina.InfCTMCModelGenerator	inline
containsUnboundedVariables()	stamina.InfCTMCModelGenerator	inline
createVarList()	stamina.InfCTMCModelGenerator	inline
doReachabilityAnalysis()	stamina.InfCTMCModelGenerator	inline
exploreState(State exploreState)	stamina.InfCTMCModelGenerator	inline
finalModelHasAbsorbing()	stamina.InfCTMCModelGenerator	inline
getAbsorbingState()	stamina.InfCTMCModelGenerator	inline
getChoiceAction(int index)	stamina.InfCTMCModelGenerator	inline
getConstantValues()	stamina.InfCTMCModelGenerator	inline
getExploreState()	stamina.InfCTMCModelGenerator	inline
getGlobalStateSet()	stamina.InfCTMCModelGenerator	inline
getInitialState()	stamina.InfCTMCModelGenerator	inline
getInitialStateForTransitionFile()	stamina.InfCTMCModelGenerator	inline
getInitialStates()	stamina.InfCTMCModelGenerator	inline
getInitialStatesForTransitionFile()	stamina.InfCTMCModelGenerator	inline
getLabelIndex(String label)	stamina.InfCTMCModelGenerator	inline
getLabelName(int i)	stamina.InfCTMCModelGenerator	inline
getLabelNames()	stamina.InfCTMCModelGenerator	inline
getModelType()	stamina.InfCTMCModelGenerator	inline
getNumChoices()	stamina.InfCTMCModelGenerator	inline
getNumLabels()	stamina.InfCTMCModelGenerator	inline
getNumRewardStructs()	stamina.InfCTMCModelGenerator	inline
getNumTransitions()	stamina.InfCTMCModelGenerator	inline
getNumTransitions(int index)	stamina.InfCTMCModelGenerator	inline
getNumVars()	stamina.InfCTMCModelGenerator	inline
getPerimeterStatesVector()	stamina.InfCTMCModelGenerator	inline
getRandomInitialState(RandomNumberGenerator rng, State initialState)	stamina.InfCTMCModelGenerator	inline
getRewardStruct(int i)	stamina.InfCTMCModelGenerator	inline
getRewardStructIndex(String name)	stamina.InfCTMCModelGenerator	inline
getRewardStructNames()	stamina.InfCTMCModelGenerator	inline
getStateActionReward(int r, State state, Object action)	stamina.InfCTMCModelGenerator	inline
getStateReward(int r, State state)	stamina.InfCTMCModelGenerator	inline
getTransitionAction(int index)	stamina.InfCTMCModelGenerator	inline
getTransitionAction(int index, int offset)	stamina.InfCTMCModelGenerator	inline
getTransitionProbability(int index, int offset)	stamina.InfCTMCModelGenerator	inline
getTransitionProbability(int index)	stamina.InfCTMCModelGenerator	inline
getVarNames()	stamina.InfCTMCModelGenerator	inline
getVarTypes()	stamina.InfCTMCModelGenerator	inline
hasSingleInitialState()	stamina.InfCTMCModelGenerator	inline
InfCTMCModelGenerator(ModulesFile modulesFile)	stamina.InfCTMCModelGenerator	inline
InfCTMCModelGenerator(ModulesFile modulesFile, PrismComponent parent)	stamina.InfCTMCModelGenerator	inline
isLabelTrue(int i)	stamina.InfCTMCModelGenerator	inline
parent (defined in stamina.InfCTMCModelGenerator)	stamina.InfCTMCModelGenerator	protected
rewardStructHasTransitionRewards(int i)	stamina.InfCTMCModelGenerator	inline
setPropertyExpression(ExpressionTemporal expr)	stamina.InfCTMCModelGenerator	inline
setReachabilityThreshold(double th)	stamina.InfCTMCModelGenerator	inline
setSomeUndefinedConstants(Values someValues)	stamina.InfCTMCModelGenerator	inline
setSomeUndefinedConstants(Values someValues, boolean exact)	stamina.InfCTMCModelGenerator	inline
transitionList (defined in stamina.InfCTMCModelGenerator)	stamina.InfCTMCModelGenerator	protected
transitionListBuilt (defined in stamina.InfCTMCModelGenerator)	stamina.InfCTMCModelGenerator	protected
updater (defined in stamina.InfCTMCModelGenerator)	stamina.InfCTMCModelGenerator	protected