Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::modelchecker::RegionModelChecker< ParametricType > Member List

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

analyzeRegion(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, RegionResultHypothesis const &hypothesis=RegionResultHypothesis::Unknown, RegionResult const &initialResult=RegionResult::Unknown, bool sampleVerticesOfRegion=false, std::shared_ptr< storm::analysis::LocalMonotonicityResult< VariableType > > localMonotonicityResult=nullptr)=0storm::modelchecker::RegionModelChecker< ParametricType >pure virtual
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 =0storm::modelchecker::RegionModelChecker< ParametricType >pure virtual
CoefficientType typedefstorm::modelchecker::RegionModelChecker< 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=std::nullopt)storm::modelchecker::RegionModelChecker< ParametricType >virtual
extendLocalMonotonicityResult(storm::storage::ParameterRegion< ParametricType > const &region, std::shared_ptr< storm::analysis::Order > order, std::shared_ptr< storm::analysis::LocalMonotonicityResult< VariableType > > localMonotonicityResult)storm::modelchecker::RegionModelChecker< ParametricType >protectedvirtual
extendOrder(std::shared_ptr< storm::analysis::Order > order, storm::storage::ParameterRegion< ParametricType > region)storm::modelchecker::RegionModelChecker< ParametricType >virtual
getBoundAtInitState(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, storm::solver::OptimizationDirection const &dirForParameters)storm::modelchecker::RegionModelChecker< ParametricType >virtual
getRegionSplitEstimate() conststorm::modelchecker::RegionModelChecker< ParametricType >virtual
isOnlyGlobalSet()storm::modelchecker::RegionModelChecker< ParametricType >
isRegionSplitEstimateSupported() conststorm::modelchecker::RegionModelChecker< ParametricType >virtual
isUseBoundsSet()storm::modelchecker::RegionModelChecker< ParametricType >
isUseMonotonicitySet() conststorm::modelchecker::RegionModelChecker< ParametricType >
monotoneDecrParametersstorm::modelchecker::RegionModelChecker< ParametricType >protected
monotoneIncrParametersstorm::modelchecker::RegionModelChecker< ParametricType >protected
numberOfRegionsKnownThroughMonotonicitystorm::modelchecker::RegionModelChecker< ParametricType >protected
performRegionRefinement(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, boost::optional< ParametricType > const &coverageThreshold, boost::optional< uint64_t > depthThreshold=boost::none, RegionResultHypothesis const &hypothesis=RegionResultHypothesis::Unknown, uint64_t monThresh=0)storm::modelchecker::RegionModelChecker< ParametricType >
RegionModelChecker()storm::modelchecker::RegionModelChecker< ParametricType >
resetMaxSplitDimensions()storm::modelchecker::RegionModelChecker< ParametricType >virtual
setConstantEntries(std::shared_ptr< storm::analysis::LocalMonotonicityResult< VariableType > > localMonotonicityResult)storm::modelchecker::RegionModelChecker< ParametricType >virtual
setMaxSplitDimensions(uint64_t)storm::modelchecker::RegionModelChecker< ParametricType >virtual
setMonotoneParameters(std::pair< std::set< typename storm::storage::ParameterRegion< ParametricType >::VariableType >, std::set< typename storm::storage::ParameterRegion< ParametricType >::VariableType > > monotoneParameters)storm::modelchecker::RegionModelChecker< ParametricType >
setUseBounds(bool bounds=true)storm::modelchecker::RegionModelChecker< ParametricType >
setUseMonotonicity(bool monotonicity=true)storm::modelchecker::RegionModelChecker< ParametricType >
setUseOnlyGlobal(bool global=true)storm::modelchecker::RegionModelChecker< ParametricType >
specify(Environment const &env, std::shared_ptr< storm::models::ModelBase > parametricModel, CheckTask< storm::logic::Formula, ParametricType > const &checkTask, bool generateRegionSplitEstimates, bool allowModelSimplifications=true)=0storm::modelchecker::RegionModelChecker< ParametricType >pure virtual
splitSmart(storm::storage::ParameterRegion< ParametricType > &region, std::vector< storm::storage::ParameterRegion< ParametricType > > &regionVector, storm::analysis::MonotonicityResult< VariableType > &monRes, bool splitForExtremum) conststorm::modelchecker::RegionModelChecker< ParametricType >protectedvirtual
VariableType typedefstorm::modelchecker::RegionModelChecker< ParametricType >
verifyRegion(Environment const &env, storm::storage::ParameterRegion< ParametricType > const &region, storm::logic::Bound const &bound)storm::modelchecker::RegionModelChecker< ParametricType >virtual
~RegionModelChecker()=defaultstorm::modelchecker::RegionModelChecker< ParametricType >virtual