storm::MultiObjectiveModelCheckerEnvironment Class Reference

#include <MultiObjectiveModelCheckerEnvironment.h>

Public Types
enum class	PrecisionType { Absolute , RelativeToDiff }
enum class	EncodingType { Auto , Classic , Flow }

Public Member Functions
	MultiObjectiveModelCheckerEnvironment ()
	~MultiObjectiveModelCheckerEnvironment ()
storm::modelchecker::multiobjective::MultiObjectiveMethod const &	getMethod () const
void	setMethod (storm::modelchecker::multiobjective::MultiObjectiveMethod value)
bool	isExportPlotSet () const
boost::optional< std::string >	getPlotPathUnderApproximation () const
void	setPlotPathUnderApproximation (std::string const &path)
void	unsetPlotPathUnderApproximation ()
boost::optional< std::string >	getPlotPathOverApproximation () const
void	setPlotPathOverApproximation (std::string const &path)
void	unsetPlotPathOverApproximation ()
boost::optional< std::string >	getPlotPathParetoPoints () const
void	setPlotPathParetoPoints (std::string const &path)
void	unsetPlotPathParetoPoints ()
storm::RationalNumber const &	getPrecision () const
void	setPrecision (storm::RationalNumber const &value)
PrecisionType const &	getPrecisionType () const
void	setPrecisionType (PrecisionType const &value)
EncodingType const &	getEncodingType () const
void	setEncodingType (EncodingType const &value)
bool	getUseIndicatorConstraints () const
void	setUseIndicatorConstraints (bool value)
bool	getUseBsccOrderEncoding () const
void	setUseBsccOrderEncoding (bool value)
bool	getUseRedundantBsccConstraints () const
void	setUseRedundantBsccConstraints (bool value)
bool	isMaxStepsSet () const
uint64_t const &	getMaxSteps () const
void	setMaxSteps (uint64_t const &value)
void	unsetMaxSteps ()
bool	isSchedulerRestrictionSet () const
storm::storage::SchedulerClass const &	getSchedulerRestriction () const
void	setSchedulerRestriction (storm::storage::SchedulerClass const &value)
void	unsetSchedulerRestriction ()
bool	isPrintResultsSet () const
void	setPrintResults (bool value)
bool	isLexicographicModelCheckingSet () const
void	setLexicographicModelChecking (bool value)

Detailed Description

Definition at line 12 of file MultiObjectiveModelCheckerEnvironment.h.

Member Enumeration Documentation

EncodingType

enum class storm::MultiObjectiveModelCheckerEnvironment::EncodingType

strong

Enumerator
Auto
Classic	Pick automatically.
Flow	The classic backwards encoding. The encoding as a flow network

Definition at line 19 of file MultiObjectiveModelCheckerEnvironment.h.

PrecisionType

enum class storm::MultiObjectiveModelCheckerEnvironment::PrecisionType

strong

Enumerator
Absolute
RelativeToDiff	Absolute precision. Relative to the difference between largest and smallest objective value(s)

Definition at line 14 of file MultiObjectiveModelCheckerEnvironment.h.

Constructor & Destructor Documentation

MultiObjectiveModelCheckerEnvironment()

storm::MultiObjectiveModelCheckerEnvironment::MultiObjectiveModelCheckerEnvironment

(

)

Definition at line 11 of file MultiObjectiveModelCheckerEnvironment.cpp.

~MultiObjectiveModelCheckerEnvironment()

storm::MultiObjectiveModelCheckerEnvironment::~MultiObjectiveModelCheckerEnvironment

(

)

Definition at line 54 of file MultiObjectiveModelCheckerEnvironment.cpp.

Member Function Documentation

getEncodingType()

MultiObjectiveModelCheckerEnvironment::EncodingType const & storm::MultiObjectiveModelCheckerEnvironment::getEncodingType

(

)

const

Definition at line 122 of file MultiObjectiveModelCheckerEnvironment.cpp.

getMaxSteps()

uint64_t const & storm::MultiObjectiveModelCheckerEnvironment::getMaxSteps

(

)

const

Definition at line 156 of file MultiObjectiveModelCheckerEnvironment.cpp.

getMethod()

storm::modelchecker::multiobjective::MultiObjectiveMethod const & storm::MultiObjectiveModelCheckerEnvironment::getMethod

(

)

const

Definition at line 58 of file MultiObjectiveModelCheckerEnvironment.cpp.

getPlotPathOverApproximation()

boost::optional< std::string > storm::MultiObjectiveModelCheckerEnvironment::getPlotPathOverApproximation

(

)

const

Definition at line 82 of file MultiObjectiveModelCheckerEnvironment.cpp.

getPlotPathParetoPoints()

boost::optional< std::string > storm::MultiObjectiveModelCheckerEnvironment::getPlotPathParetoPoints

(

)

const

Definition at line 94 of file MultiObjectiveModelCheckerEnvironment.cpp.

getPlotPathUnderApproximation()

boost::optional< std::string > storm::MultiObjectiveModelCheckerEnvironment::getPlotPathUnderApproximation

(

)

const

Definition at line 70 of file MultiObjectiveModelCheckerEnvironment.cpp.

getPrecision()

storm::RationalNumber const & storm::MultiObjectiveModelCheckerEnvironment::getPrecision

(

)

const

Definition at line 106 of file MultiObjectiveModelCheckerEnvironment.cpp.

getPrecisionType()

MultiObjectiveModelCheckerEnvironment::PrecisionType const & storm::MultiObjectiveModelCheckerEnvironment::getPrecisionType

(

)

const

Definition at line 114 of file MultiObjectiveModelCheckerEnvironment.cpp.

getSchedulerRestriction()

storm::storage::SchedulerClass const & storm::MultiObjectiveModelCheckerEnvironment::getSchedulerRestriction

(

)

const

Definition at line 172 of file MultiObjectiveModelCheckerEnvironment.cpp.

getUseBsccOrderEncoding()

bool storm::MultiObjectiveModelCheckerEnvironment::getUseBsccOrderEncoding

(

)

const

Definition at line 137 of file MultiObjectiveModelCheckerEnvironment.cpp.

getUseIndicatorConstraints()

bool storm::MultiObjectiveModelCheckerEnvironment::getUseIndicatorConstraints

(

)

const

Definition at line 130 of file MultiObjectiveModelCheckerEnvironment.cpp.

getUseRedundantBsccConstraints()

bool storm::MultiObjectiveModelCheckerEnvironment::getUseRedundantBsccConstraints

(

)

const

Definition at line 144 of file MultiObjectiveModelCheckerEnvironment.cpp.

isExportPlotSet()

bool storm::MultiObjectiveModelCheckerEnvironment::isExportPlotSet

(

)

const

Definition at line 66 of file MultiObjectiveModelCheckerEnvironment.cpp.

isLexicographicModelCheckingSet()

bool storm::MultiObjectiveModelCheckerEnvironment::isLexicographicModelCheckingSet

(

)

const

Definition at line 192 of file MultiObjectiveModelCheckerEnvironment.cpp.

isMaxStepsSet()

bool storm::MultiObjectiveModelCheckerEnvironment::isMaxStepsSet

(

)

const

Definition at line 152 of file MultiObjectiveModelCheckerEnvironment.cpp.

isPrintResultsSet()

bool storm::MultiObjectiveModelCheckerEnvironment::isPrintResultsSet

(

)

const

Definition at line 184 of file MultiObjectiveModelCheckerEnvironment.cpp.

isSchedulerRestrictionSet()

bool storm::MultiObjectiveModelCheckerEnvironment::isSchedulerRestrictionSet

(

)

const

Definition at line 168 of file MultiObjectiveModelCheckerEnvironment.cpp.

setEncodingType()

void storm::MultiObjectiveModelCheckerEnvironment::setEncodingType

(

EncodingType const &

value

)

Definition at line 126 of file MultiObjectiveModelCheckerEnvironment.cpp.

setLexicographicModelChecking()

void storm::MultiObjectiveModelCheckerEnvironment::setLexicographicModelChecking

(

bool

value

)

Definition at line 196 of file MultiObjectiveModelCheckerEnvironment.cpp.

setMaxSteps()

void storm::MultiObjectiveModelCheckerEnvironment::setMaxSteps

(

uint64_t const &

value

)

Definition at line 160 of file MultiObjectiveModelCheckerEnvironment.cpp.

setMethod()

void storm::MultiObjectiveModelCheckerEnvironment::setMethod

(

storm::modelchecker::multiobjective::MultiObjectiveMethod

value

)

Definition at line 62 of file MultiObjectiveModelCheckerEnvironment.cpp.

setPlotPathOverApproximation()

void storm::MultiObjectiveModelCheckerEnvironment::setPlotPathOverApproximation

(

std::string const &

path

)

Definition at line 86 of file MultiObjectiveModelCheckerEnvironment.cpp.

setPlotPathParetoPoints()

void storm::MultiObjectiveModelCheckerEnvironment::setPlotPathParetoPoints

(

std::string const &

path

)

Definition at line 98 of file MultiObjectiveModelCheckerEnvironment.cpp.

setPlotPathUnderApproximation()

void storm::MultiObjectiveModelCheckerEnvironment::setPlotPathUnderApproximation

(

std::string const &

path

)

Definition at line 74 of file MultiObjectiveModelCheckerEnvironment.cpp.

setPrecision()

void storm::MultiObjectiveModelCheckerEnvironment::setPrecision

(

storm::RationalNumber const &

value

)

Definition at line 110 of file MultiObjectiveModelCheckerEnvironment.cpp.

setPrecisionType()

void storm::MultiObjectiveModelCheckerEnvironment::setPrecisionType

(

PrecisionType const &

value

)

Definition at line 118 of file MultiObjectiveModelCheckerEnvironment.cpp.

setPrintResults()

void storm::MultiObjectiveModelCheckerEnvironment::setPrintResults

(

bool

value

)

Definition at line 188 of file MultiObjectiveModelCheckerEnvironment.cpp.

setSchedulerRestriction()

void storm::MultiObjectiveModelCheckerEnvironment::setSchedulerRestriction

(

storm::storage::SchedulerClass const &

value

)

Definition at line 176 of file MultiObjectiveModelCheckerEnvironment.cpp.

setUseBsccOrderEncoding()

void storm::MultiObjectiveModelCheckerEnvironment::setUseBsccOrderEncoding

(

bool

value

)

Definition at line 140 of file MultiObjectiveModelCheckerEnvironment.cpp.

setUseIndicatorConstraints()

void storm::MultiObjectiveModelCheckerEnvironment::setUseIndicatorConstraints

(

bool

value

)

Definition at line 133 of file MultiObjectiveModelCheckerEnvironment.cpp.

setUseRedundantBsccConstraints()

void storm::MultiObjectiveModelCheckerEnvironment::setUseRedundantBsccConstraints

(

bool

value

)

Definition at line 148 of file MultiObjectiveModelCheckerEnvironment.cpp.

unsetMaxSteps()

void storm::MultiObjectiveModelCheckerEnvironment::unsetMaxSteps

(

)

Definition at line 164 of file MultiObjectiveModelCheckerEnvironment.cpp.

unsetPlotPathOverApproximation()

void storm::MultiObjectiveModelCheckerEnvironment::unsetPlotPathOverApproximation

(

)

Definition at line 90 of file MultiObjectiveModelCheckerEnvironment.cpp.

unsetPlotPathParetoPoints()

void storm::MultiObjectiveModelCheckerEnvironment::unsetPlotPathParetoPoints

(

)

Definition at line 102 of file MultiObjectiveModelCheckerEnvironment.cpp.

unsetPlotPathUnderApproximation()

void storm::MultiObjectiveModelCheckerEnvironment::unsetPlotPathUnderApproximation

(

)

Definition at line 78 of file MultiObjectiveModelCheckerEnvironment.cpp.

unsetSchedulerRestriction()

void storm::MultiObjectiveModelCheckerEnvironment::unsetSchedulerRestriction

(

)

Definition at line 180 of file MultiObjectiveModelCheckerEnvironment.cpp.

---

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

• src/storm/environment/modelchecker/MultiObjectiveModelCheckerEnvironment.h
• src/storm/environment/modelchecker/MultiObjectiveModelCheckerEnvironment.cpp