This is the complete list of members for storm::modelchecker::RegionRefinementChecker< ParametricType >, including all inherited members.

canHandle(std::shared_ptr< storm::models::ModelBase > parametricModel, CheckTask< storm::logic::Formula, ParametricType > const &checkTask) const	storm::modelchecker::RegionRefinementChecker< ParametricType >
CoefficientType typedef	storm::modelchecker::RegionRefinementChecker< ParametricType >
computeExtremalValue(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, storm::solver::OptimizationDirection const &dir, ParametricType const &precision, bool absolutePrecision, std::optional< storm::logic::Bound > const &boundInvariant)	storm::modelchecker::RegionRefinementChecker< ParametricType >
computeExtremalValueHelper(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, storm::solver::OptimizationDirection const &dir, std::function< bool(CoefficientType, CoefficientType)> acceptGlobalBound, std::function< bool(CoefficientType)> rejectInstance)	storm::modelchecker::RegionRefinementChecker< ParametricType >
performRegionPartitioning(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, std::optional< ParametricType > coverageThreshold, std::optional< uint64_t > depthThreshold=std::nullopt, RegionResultHypothesis const &hypothesis=RegionResultHypothesis::Unknown, uint64_t monThresh=0)	storm::modelchecker::RegionRefinementChecker< ParametricType >
RegionRefinementChecker(std::unique_ptr< RegionModelChecker< ParametricType > > &&regionChecker)	storm::modelchecker::RegionRefinementChecker< ParametricType >
specify(Environment const &env, std::shared_ptr< storm::models::ModelBase > parametricModel, CheckTask< storm::logic::Formula, ParametricType > const &checkTask, RegionSplittingStrategy splittingStrategy=RegionSplittingStrategy(), std::set< VariableType > const &discreteVariables={}, std::shared_ptr< MonotonicityBackend< ParametricType > > monotonicityBackend={}, bool allowModelSimplifications=true, bool graphPreserving=true)	storm::modelchecker::RegionRefinementChecker< ParametricType >
Valuation typedef	storm::modelchecker::RegionRefinementChecker< ParametricType >
VariableType typedef	storm::modelchecker::RegionRefinementChecker< ParametricType >
verifyRegion(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, storm::logic::Bound const &bound)	storm::modelchecker::RegionRefinementChecker< ParametricType >
~RegionRefinementChecker()=default	storm::modelchecker::RegionRefinementChecker< ParametricType >