STAMINA/PRISM
2.0
Infinite state-space truncator which generates a probability within a window
- a -
addToReachability() :
stamina.ProbState
- c -
calculateStateRewards() :
stamina.InfCTMCModelGenerator
clearPerimeterStatesVector() :
stamina.InfCTMCModelGenerator
computeTransitionTarget() :
stamina.InfCTMCModelGenerator
containsUnboundedVariables() :
stamina.InfCTMCModelGenerator
createVarList() :
stamina.InfCTMCModelGenerator
- d -
doReachabilityAnalysis() :
stamina.InfCTMCModelGenerator
- e -
exploreState() :
stamina.InfCTMCModelGenerator
- f -
finalModelHasAbsorbing() :
stamina.InfCTMCModelGenerator
- g -
getAbsorbingState() :
stamina.InfCTMCModelGenerator
getChoiceAction() :
stamina.InfCTMCModelGenerator
getConstantValues() :
stamina.InfCTMCModelGenerator
getCuddMemoryLimit() :
stamina.Options
getCurReachabilityProb() :
stamina.ProbState
getExploreState() :
stamina.InfCTMCModelGenerator
getExportFileName() :
stamina.Options
getExportModel() :
stamina.Options
getExportPerimeterFilename() :
stamina.Options
getExportPerimeterStates() :
stamina.Options
getExportTransitionsToFile() :
stamina.Options
getGlobalStateSet() :
stamina.InfCTMCModelGenerator
getImportFileName() :
stamina.Options
getImportModel() :
stamina.Options
getInitialState() :
stamina.InfCTMCModelGenerator
getInitialStateForTransitionFile() :
stamina.InfCTMCModelGenerator
getInitialStates() :
stamina.InfCTMCModelGenerator
getInitialStatesForTransitionFile() :
stamina.InfCTMCModelGenerator
getKappaReductionFactor() :
stamina.Options
getLabelIndex() :
stamina.InfCTMCModelGenerator
getLabelName() :
stamina.InfCTMCModelGenerator
getLabelNames() :
stamina.InfCTMCModelGenerator
getMaxApproxCount() :
stamina.Options
getMispredictionFactor() :
stamina.Options
getModelType() :
stamina.InfCTMCModelGenerator
getNoPropRefine() :
stamina.Options
getNumChoices() :
stamina.InfCTMCModelGenerator
getNumLabels() :
stamina.InfCTMCModelGenerator
getNumRewardStructs() :
stamina.InfCTMCModelGenerator
getNumTransitions() :
stamina.InfCTMCModelGenerator
getNumVars() :
stamina.InfCTMCModelGenerator
getPerimeterStatesVector() :
stamina.InfCTMCModelGenerator
getProbErrorWindow() :
stamina.Options
getPropertyName() :
stamina.Options
getRandomInitialState() :
stamina.InfCTMCModelGenerator
getRankTransitions() :
stamina.Options
getReachabilityThreshold() :
stamina.Options
getRewardStruct() :
stamina.InfCTMCModelGenerator
getRewardStructIndex() :
stamina.InfCTMCModelGenerator
getRewardStructNames() :
stamina.InfCTMCModelGenerator
getSpecificProperty() :
stamina.Options
getStateActionReward() :
stamina.InfCTMCModelGenerator
getStateReward() :
stamina.InfCTMCModelGenerator
getTransitionAction() :
stamina.InfCTMCModelGenerator
getTransitionProbability() :
stamina.InfCTMCModelGenerator
getVarNames() :
stamina.InfCTMCModelGenerator
getVarTypes() :
stamina.InfCTMCModelGenerator
- h -
hasSingleInitialState() :
stamina.InfCTMCModelGenerator
- i -
InfCTMCModelGenerator() :
stamina.InfCTMCModelGenerator
initializeSTAMINA() :
stamina.StaminaCL
isLabelTrue() :
stamina.InfCTMCModelGenerator
isStateAbsorbing() :
stamina.ProbState
isStateTerminal() :
stamina.ProbState
- m -
main() :
stamina.StaminaCL
modelCheckStamina() :
stamina.StaminaModelChecker
- p -
ProbState() :
stamina.ProbState
- r -
rewardStructHasTransitionRewards() :
stamina.InfCTMCModelGenerator
run() :
stamina.StaminaCL
- s -
setCuddMemoryLimit() :
stamina.Options
setCurReachabilityProb() :
stamina.ProbState
setExportFileName() :
stamina.Options
setExportModel() :
stamina.Options
setExportPerimeterFilename() :
stamina.Options
setExportPerimeterStates() :
stamina.Options
setExportTransitionsToFile() :
stamina.Options
setImportFileName() :
stamina.Options
setImportModel() :
stamina.Options
setKappaReductionFactor() :
stamina.Options
setMaxRefinementCount() :
stamina.Options
setMispredictionFactor() :
stamina.Options
setNoPropRefine() :
stamina.Options
setProbErrorWindow() :
stamina.Options
setPropertyExpression() :
stamina.InfCTMCModelGenerator
setPropertyName() :
stamina.Options
setRankTransitions() :
stamina.Options
setReachabilityThreshold() :
stamina.InfCTMCModelGenerator
,
stamina.Options
setSomeUndefinedConstants() :
stamina.InfCTMCModelGenerator
setSpecificProperty() :
stamina.Options
setStateAbsorbing() :
stamina.ProbState
setStateTerminal() :
stamina.ProbState
StaminaModelChecker() :
stamina.StaminaModelChecker
subtractFromReachability() :
stamina.ProbState
- t -
toString() :
stamina.ProbState
Generated by
1.9.3