Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::analysis::MonotonicityResult< VariableType > Member List

This is the complete list of members for storm::analysis::MonotonicityResult< VariableType >, including all inherited members.

addMonotonicityResult(VariableType var, Monotonicity mon)storm::analysis::MonotonicityResult< VariableType >
copy() conststorm::analysis::MonotonicityResult< VariableType >
existsMonotonicity()storm::analysis::MonotonicityResult< VariableType >
getMonotonicity(VariableType var) conststorm::analysis::MonotonicityResult< VariableType >
getMonotonicityResult() conststorm::analysis::MonotonicityResult< VariableType >
isAllMonotonicity() conststorm::analysis::MonotonicityResult< VariableType >
isDone() conststorm::analysis::MonotonicityResult< VariableType >
isDoneForVar(VariableType) conststorm::analysis::MonotonicityResult< VariableType >
isMonotone(VariableType var) conststorm::analysis::MonotonicityResult< VariableType >
Monotonicity enum namestorm::analysis::MonotonicityResult< VariableType >
MonotonicityResult()storm::analysis::MonotonicityResult< VariableType >
setAllMonotonicity(bool done=true)storm::analysis::MonotonicityResult< VariableType >
setDone(bool done=true)storm::analysis::MonotonicityResult< VariableType >
setDoneForVar(VariableType)storm::analysis::MonotonicityResult< VariableType >
setDoneVariables(std::set< VariableType > doneVariables)storm::analysis::MonotonicityResult< VariableType >
setSomewhereMonotonicity(bool done=true)storm::analysis::MonotonicityResult< VariableType >
splitBasedOnMonotonicity(std::set< VariableType > const &consideredVariables, std::set< VariableType > &monotoneIncr, std::set< VariableType > &monotoneDecr, std::set< VariableType > &notMontone) conststorm::analysis::MonotonicityResult< VariableType >
splitVariables(std::set< VariableType > const &consideredVariables) conststorm::analysis::MonotonicityResult< VariableType >
toString() conststorm::analysis::MonotonicityResult< VariableType >
updateMonotonicityResult(VariableType var, Monotonicity mon, bool force=false)storm::analysis::MonotonicityResult< VariableType >