storm::ModelCheckerEnvironment Class Reference

#include <ModelCheckerEnvironment.h>

Public Member Functions
	ModelCheckerEnvironment ()
	~ModelCheckerEnvironment ()
MultiObjectiveModelCheckerEnvironment &	multi ()
MultiObjectiveModelCheckerEnvironment const &	multi () const
SteadyStateDistributionAlgorithm	getSteadyStateDistributionAlgorithm () const
void	setSteadyStateDistributionAlgorithm (SteadyStateDistributionAlgorithm value)
ConditionalAlgorithmSetting	getConditionalAlgorithmSetting () const
void	setConditionalAlgorithmSetting (ConditionalAlgorithmSetting value)
bool	isLtl2daToolSet () const
std::string const &	getLtl2daTool () const
void	setLtl2daTool (std::string const &value)
void	unsetLtl2daTool ()

Detailed Description

Definition at line 17 of file ModelCheckerEnvironment.h.

Constructor & Destructor Documentation

ModelCheckerEnvironment()

storm::ModelCheckerEnvironment::ModelCheckerEnvironment

(

)

Definition at line 15 of file ModelCheckerEnvironment.cpp.

~ModelCheckerEnvironment()

storm::ModelCheckerEnvironment::~ModelCheckerEnvironment

(

)

Definition at line 26 of file ModelCheckerEnvironment.cpp.

Member Function Documentation

getConditionalAlgorithmSetting()

ConditionalAlgorithmSetting storm::ModelCheckerEnvironment::getConditionalAlgorithmSetting

(

)

const

Definition at line 38 of file ModelCheckerEnvironment.cpp.

getLtl2daTool()

std::string const & storm::ModelCheckerEnvironment::getLtl2daTool

(

)

const

Definition at line 58 of file ModelCheckerEnvironment.cpp.

getSteadyStateDistributionAlgorithm()

SteadyStateDistributionAlgorithm storm::ModelCheckerEnvironment::getSteadyStateDistributionAlgorithm

(

)

const

Definition at line 30 of file ModelCheckerEnvironment.cpp.

isLtl2daToolSet()

bool storm::ModelCheckerEnvironment::isLtl2daToolSet

(

)

const

Definition at line 54 of file ModelCheckerEnvironment.cpp.

multi() [1/2]

MultiObjectiveModelCheckerEnvironment & storm::ModelCheckerEnvironment::multi

(

)

Definition at line 46 of file ModelCheckerEnvironment.cpp.

multi() [2/2]

MultiObjectiveModelCheckerEnvironment const & storm::ModelCheckerEnvironment::multi

(

)

const

Definition at line 50 of file ModelCheckerEnvironment.cpp.

setConditionalAlgorithmSetting()

void storm::ModelCheckerEnvironment::setConditionalAlgorithmSetting

(

ConditionalAlgorithmSetting

value

)

Definition at line 42 of file ModelCheckerEnvironment.cpp.

setLtl2daTool()

void storm::ModelCheckerEnvironment::setLtl2daTool

(

std::string const &

value

)

Definition at line 62 of file ModelCheckerEnvironment.cpp.

setSteadyStateDistributionAlgorithm()

void storm::ModelCheckerEnvironment::setSteadyStateDistributionAlgorithm

(

SteadyStateDistributionAlgorithm

value

)

Definition at line 34 of file ModelCheckerEnvironment.cpp.

unsetLtl2daTool()

void storm::ModelCheckerEnvironment::unsetLtl2daTool

(

)

Definition at line 66 of file ModelCheckerEnvironment.cpp.

---

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

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