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 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 >