Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::analysis::MonotonicityHelper< ValueType, ConstantType > Member List

This is the complete list of members for storm::analysis::MonotonicityHelper< ValueType, ConstantType >, including all inherited members.

checkDerivative(ValueType derivative, storage::ParameterRegion< ValueType > reg)storm::analysis::MonotonicityHelper< ValueType, ConstantType >inlinestatic
checkLocalMonotonicity(std::shared_ptr< Order > order, uint_fast64_t state, VariableType var, storage::ParameterRegion< ValueType > region)storm::analysis::MonotonicityHelper< ValueType, ConstantType >
checkMonotonicityInBuild(std::ostream &outfile, bool usePLA=false, std::string dotOutfileName="dotOutput")storm::analysis::MonotonicityHelper< ValueType, ConstantType >
CoefficientType typedefstorm::analysis::MonotonicityHelper< ValueType, ConstantType >
createLocalMonotonicityResult(std::shared_ptr< Order > order, storage::ParameterRegion< ValueType > region)storm::analysis::MonotonicityHelper< ValueType, ConstantType >
Monotonicity typedefstorm::analysis::MonotonicityHelper< ValueType, ConstantType >
MonotonicityHelper(std::shared_ptr< models::sparse::Model< ValueType > > model, std::vector< std::shared_ptr< logic::Formula const > > formulas, std::vector< storage::ParameterRegion< ValueType > > regions, uint_fast64_t numberOfSamples=0, double const &precision=0.000001, bool dotOutput=false)storm::analysis::MonotonicityHelper< ValueType, ConstantType >
Region typedefstorm::analysis::MonotonicityHelper< ValueType, ConstantType >
VariableType typedefstorm::analysis::MonotonicityHelper< ValueType, ConstantType >