Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
storm::pars::FeasibilitySynthesisTask Member List

This is the complete list of members for storm::pars::FeasibilitySynthesisTask, including all inherited members.

FeasibilitySynthesisTask(std::shared_ptr< storm::logic::Formula const > const &formula)storm::pars::FeasibilitySynthesisTaskinline
getBound() conststorm::pars::FeasibilitySynthesisTaskinline
getFormula() conststorm::pars::FeasibilitySynthesisTaskinline
getMaximalAllowedGap() conststorm::pars::FeasibilitySynthesisTaskinline
getOptimizationDirection() conststorm::pars::FeasibilitySynthesisTaskinline
getRegion() conststorm::pars::FeasibilitySynthesisTaskinline
isBoundSet() conststorm::pars::FeasibilitySynthesisTaskinline
isMaxGapRelative() conststorm::pars::FeasibilitySynthesisTaskinline
isRegionSet() conststorm::pars::FeasibilitySynthesisTaskinline
setBound(storm::logic::Bound const &bound)storm::pars::FeasibilitySynthesisTaskinline
setMaximalAllowedGap(storm::RationalNumber const &maxGap)storm::pars::FeasibilitySynthesisTaskinline
setMaximalAllowedGapIsRelative(bool newValue)storm::pars::FeasibilitySynthesisTaskinline
setOptimizationDirection(storm::solver::OptimizationDirection const &dir)storm::pars::FeasibilitySynthesisTaskinline
setRegion(storm::storage::ParameterRegion< storm::RationalFunction > const &region)storm::pars::FeasibilitySynthesisTaskinline