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

analyzeRegion(Environment const &env, AnnotatedRegion< ParametricType > &region, RegionResultHypothesis const &hypothesis=RegionResultHypothesis::Unknown, bool sampleVerticesOfRegion=false)=0	storm::modelchecker::RegionModelChecker< ParametricType >	pure virtual
analyzeRegion(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, RegionResultHypothesis const &hypothesis=RegionResultHypothesis::Unknown, bool sampleVerticesOfRegion=false)	storm::modelchecker::RegionModelChecker< ParametricType >
analyzeRegions(Environment const &env, std::vector< storm::storage::ParameterRegion< ParametricType > > const &regions, std::vector< RegionResultHypothesis > const &hypotheses, bool sampleVerticesOfRegion=false)	storm::modelchecker::RegionModelChecker< ParametricType >
canHandle(std::shared_ptr< storm::models::ModelBase > parametricModel, CheckTask< storm::logic::Formula, ParametricType > const &checkTask) const =0	storm::modelchecker::RegionModelChecker< ParametricType >	pure virtual
CoefficientType typedef	storm::modelchecker::RegionModelChecker< ParametricType >
getAndEvaluateGoodPoint(Environment const &env, AnnotatedRegion< ParametricType > &region, storm::solver::OptimizationDirection const &dirForParameters)=0	storm::modelchecker::RegionModelChecker< ParametricType >	pure virtual
getBoundAtInitState(Environment const &env, AnnotatedRegion< ParametricType > &region, storm::solver::OptimizationDirection const &dirForParameters)=0	storm::modelchecker::RegionModelChecker< ParametricType >	pure virtual
getBoundAtInitState(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, storm::solver::OptimizationDirection const &dirForParameters)	storm::modelchecker::RegionModelChecker< ParametricType >
getDefaultRegionSplitEstimateKind(CheckTask< storm::logic::Formula, ParametricType > const &checkTask) const	storm::modelchecker::RegionModelChecker< ParametricType >	virtual
getSpecifiedRegionSplitEstimateKind() const	storm::modelchecker::RegionModelChecker< ParametricType >
isMonotonicitySupported(MonotonicityBackend< ParametricType > const &backend, CheckTask< storm::logic::Formula, ParametricType > const &checkTask) const =0	storm::modelchecker::RegionModelChecker< ParametricType >	pure virtual
isRegionSplitEstimateKindSupported(RegionSplitEstimateKind kind, CheckTask< storm::logic::Formula, ParametricType > const &checkTask) const	storm::modelchecker::RegionModelChecker< ParametricType >	virtual
lastCheckedRegion	storm::modelchecker::RegionModelChecker< ParametricType >	protected
monotonicityBackend	storm::modelchecker::RegionModelChecker< ParametricType >	protected
obtainRegionSplitEstimates(std::set< VariableType > const &relevantParameters) const	storm::modelchecker::RegionModelChecker< ParametricType >	virtual
RegionModelChecker()=default	storm::modelchecker::RegionModelChecker< ParametricType >
specifiedRegionSplitEstimateKind	storm::modelchecker::RegionModelChecker< ParametricType >	protected
specify(Environment const &env, std::shared_ptr< storm::models::ModelBase > parametricModel, CheckTask< storm::logic::Formula, ParametricType > const &checkTask, std::optional< RegionSplitEstimateKind > generateRegionSplitEstimates=std::nullopt, std::shared_ptr< MonotonicityBackend< ParametricType > > monotonicityBackend={}, bool allowModelSimplifications=true, bool graphPreserving=true)=0	storm::modelchecker::RegionModelChecker< ParametricType >	pure virtual
specifyMonotonicity(std::shared_ptr< MonotonicityBackend< ParametricType > > backend, CheckTask< storm::logic::Formula, ParametricType > const &checkTask)	storm::modelchecker::RegionModelChecker< ParametricType >	protectedvirtual
specifySplitEstimates(std::optional< RegionSplitEstimateKind > splitEstimates, CheckTask< storm::logic::Formula, ParametricType > const &checkTask)	storm::modelchecker::RegionModelChecker< ParametricType >	protectedvirtual
Valuation typedef	storm::modelchecker::RegionModelChecker< ParametricType >
VariableType typedef	storm::modelchecker::RegionModelChecker< ParametricType >
~RegionModelChecker()=default	storm::modelchecker::RegionModelChecker< ParametricType >	virtual