storm::pars::FeasibilitySynthesisTask Class Reference

#include <FeasibilitySynthesisTask.h>

Public Member Functions
	FeasibilitySynthesisTask (std::shared_ptr< storm::logic::Formula const > const &formula)
void	setBound (storm::logic::Bound const &bound)
storm::logic::Bound const &	getBound () const
	Retrieves the bound (if set).
bool	isBoundSet () const
	Retrieves whether there is a bound with which the values for the states will be compared.
storm::logic::Formula const &	getFormula () const
void	setMaximalAllowedGap (storm::RationalNumber const &maxGap)
std::optional< storm::RationalNumber >	getMaximalAllowedGap () const
void	setMaximalAllowedGapIsRelative (bool newValue)
bool	isMaxGapRelative () const
void	setRegion (storm::storage::ParameterRegion< storm::RationalFunction > const &region)
bool	isRegionSet () const
storm::storage::ParameterRegion< storm::RationalFunction > const &	getRegion () const
void	setOptimizationDirection (storm::solver::OptimizationDirection const &dir)
storm::solver::OptimizationDirection	getOptimizationDirection () const

Detailed Description

Definition at line 13 of file FeasibilitySynthesisTask.h.

Constructor & Destructor Documentation

FeasibilitySynthesisTask()

storm::pars::FeasibilitySynthesisTask::FeasibilitySynthesisTask ( std::shared_ptr< storm::logic::Formula const > const &  formula )

inline

Parameters

formula

Definition at line 18 of file FeasibilitySynthesisTask.h.

Member Function Documentation

getBound()

storm::logic::Bound const & storm::pars::FeasibilitySynthesisTask::getBound ( ) const

inline

Retrieves the bound (if set).

Definition at line 27 of file FeasibilitySynthesisTask.h.

getFormula()

storm::logic::Formula const & storm::pars::FeasibilitySynthesisTask::getFormula ( ) const

inline

Definition at line 38 of file FeasibilitySynthesisTask.h.

getMaximalAllowedGap()

std::optional< storm::RationalNumber > storm::pars::FeasibilitySynthesisTask::getMaximalAllowedGap ( ) const

inline

Definition at line 48 of file FeasibilitySynthesisTask.h.

getOptimizationDirection()

storm::solver::OptimizationDirection storm::pars::FeasibilitySynthesisTask::getOptimizationDirection ( ) const

inline

Definition at line 76 of file FeasibilitySynthesisTask.h.

getRegion()

storm::storage::ParameterRegion< storm::RationalFunction > const & storm::pars::FeasibilitySynthesisTask::getRegion ( ) const

inline

Definition at line 68 of file FeasibilitySynthesisTask.h.

isBoundSet()

bool storm::pars::FeasibilitySynthesisTask::isBoundSet ( ) const

inline

Retrieves whether there is a bound with which the values for the states will be compared.

Definition at line 34 of file FeasibilitySynthesisTask.h.

isMaxGapRelative()

bool storm::pars::FeasibilitySynthesisTask::isMaxGapRelative ( ) const

inline

Definition at line 56 of file FeasibilitySynthesisTask.h.

isRegionSet()

bool storm::pars::FeasibilitySynthesisTask::isRegionSet ( ) const

inline

Definition at line 64 of file FeasibilitySynthesisTask.h.

setBound()

void storm::pars::FeasibilitySynthesisTask::setBound ( storm::logic::Bound const &  bound )

inline

Definition at line 20 of file FeasibilitySynthesisTask.h.

setMaximalAllowedGap()

void storm::pars::FeasibilitySynthesisTask::setMaximalAllowedGap ( storm::RationalNumber const &  maxGap )

inline

Definition at line 42 of file FeasibilitySynthesisTask.h.

setMaximalAllowedGapIsRelative()

void storm::pars::FeasibilitySynthesisTask::setMaximalAllowedGapIsRelative ( bool  newValue )

inline

Definition at line 52 of file FeasibilitySynthesisTask.h.

setOptimizationDirection()

void storm::pars::FeasibilitySynthesisTask::setOptimizationDirection ( storm::solver::OptimizationDirection const &  dir )

inline

Definition at line 72 of file FeasibilitySynthesisTask.h.

setRegion()

void storm::pars::FeasibilitySynthesisTask::setRegion ( storm::storage::ParameterRegion< storm::RationalFunction > const &  region )

inline

Definition at line 60 of file FeasibilitySynthesisTask.h.

---

The documentation for this class was generated from the following file:

• src/storm-pars/utility/FeasibilitySynthesisTask.h