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)
bool	isLtl2daToolSet () const
std::string const &	getLtl2daTool () const
void	setLtl2daTool (std::string const &value)
void	unsetLtl2daTool ()

Detailed Description

Definition at line 16 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 24 of file ModelCheckerEnvironment.cpp.

Member Function Documentation

getLtl2daTool()

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

(

)

const

Definition at line 48 of file ModelCheckerEnvironment.cpp.

getSteadyStateDistributionAlgorithm()

SteadyStateDistributionAlgorithm storm::ModelCheckerEnvironment::getSteadyStateDistributionAlgorithm

(

)

const

Definition at line 28 of file ModelCheckerEnvironment.cpp.

isLtl2daToolSet()

bool storm::ModelCheckerEnvironment::isLtl2daToolSet

(

)

const

Definition at line 44 of file ModelCheckerEnvironment.cpp.

multi() [1/2]

MultiObjectiveModelCheckerEnvironment & storm::ModelCheckerEnvironment::multi

(

)

Definition at line 36 of file ModelCheckerEnvironment.cpp.

multi() [2/2]

MultiObjectiveModelCheckerEnvironment const & storm::ModelCheckerEnvironment::multi

(

)

const

Definition at line 40 of file ModelCheckerEnvironment.cpp.

setLtl2daTool()

void storm::ModelCheckerEnvironment::setLtl2daTool

(

std::string const &

value

)

Definition at line 52 of file ModelCheckerEnvironment.cpp.

setSteadyStateDistributionAlgorithm()

void storm::ModelCheckerEnvironment::setSteadyStateDistributionAlgorithm

(

SteadyStateDistributionAlgorithm

value

)

Definition at line 32 of file ModelCheckerEnvironment.cpp.

unsetLtl2daTool()

void storm::ModelCheckerEnvironment::unsetLtl2daTool

(

)

Definition at line 56 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