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 typedef | storm::analysis::MonotonicityHelper< ValueType, ConstantType > | |
createLocalMonotonicityResult(std::shared_ptr< Order > order, storage::ParameterRegion< ValueType > region) | storm::analysis::MonotonicityHelper< ValueType, ConstantType > | |
Monotonicity typedef | storm::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 typedef | storm::analysis::MonotonicityHelper< ValueType, ConstantType > | |
VariableType typedef | storm::analysis::MonotonicityHelper< ValueType, ConstantType > | |