storm::dft::ModelBuilderEnvironment Class Reference

Environment configuring the (Markov) model building from a DFT. More...

#include <ModelBuilderEnvironment.h>

Public Member Functions
	ModelBuilderEnvironment ()
	~ModelBuilderEnvironment ()
bool	isUseSymmetryReduction () const
void	setUseSymmetryReduction (bool value)
bool	isAllowDCForRelevantEvents () const
void	setAllowDCForRelevantEvents (bool value)
bool	isAddLabelsClaiming () const
void	setAddLabelsClaiming (bool value)
bool	isMaxDepthSet () const
uint_fast64_t	getMaxDepth () const
void	setMaxDepth (uint_fast64_t value)
void	unsetMaxDepth ()
bool	isTakeFirstDependency () const
void	setTakeFirstDependency (bool value)
bool	isUniqueFailedBE () const
void	setUniqueFailedBE (bool value)

Detailed Description

Environment configuring the (Markov) model building from a DFT.

Definition at line 11 of file ModelBuilderEnvironment.h.

Constructor & Destructor Documentation

ModelBuilderEnvironment()

storm::dft::ModelBuilderEnvironment::ModelBuilderEnvironment

(

)

Definition at line 7 of file ModelBuilderEnvironment.cpp.

~ModelBuilderEnvironment()

storm::dft::ModelBuilderEnvironment::~ModelBuilderEnvironment ( )

default

Member Function Documentation

getMaxDepth()

uint_fast64_t storm::dft::ModelBuilderEnvironment::getMaxDepth

(

)

const

Definition at line 42 of file ModelBuilderEnvironment.cpp.

isAddLabelsClaiming()

bool storm::dft::ModelBuilderEnvironment::isAddLabelsClaiming

(

)

const

Definition at line 30 of file ModelBuilderEnvironment.cpp.

isAllowDCForRelevantEvents()

bool storm::dft::ModelBuilderEnvironment::isAllowDCForRelevantEvents

(

)

const

Definition at line 22 of file ModelBuilderEnvironment.cpp.

isMaxDepthSet()

bool storm::dft::ModelBuilderEnvironment::isMaxDepthSet

(

)

const

Definition at line 38 of file ModelBuilderEnvironment.cpp.

isTakeFirstDependency()

bool storm::dft::ModelBuilderEnvironment::isTakeFirstDependency

(

)

const

Definition at line 55 of file ModelBuilderEnvironment.cpp.

isUniqueFailedBE()

bool storm::dft::ModelBuilderEnvironment::isUniqueFailedBE

(

)

const

Definition at line 63 of file ModelBuilderEnvironment.cpp.

isUseSymmetryReduction()

bool storm::dft::ModelBuilderEnvironment::isUseSymmetryReduction

(

)

const

Definition at line 14 of file ModelBuilderEnvironment.cpp.

setAddLabelsClaiming()

void storm::dft::ModelBuilderEnvironment::setAddLabelsClaiming

(

bool

value

)

Definition at line 34 of file ModelBuilderEnvironment.cpp.

setAllowDCForRelevantEvents()

void storm::dft::ModelBuilderEnvironment::setAllowDCForRelevantEvents

(

bool

value

)

Definition at line 26 of file ModelBuilderEnvironment.cpp.

setMaxDepth()

void storm::dft::ModelBuilderEnvironment::setMaxDepth

(

uint_fast64_t

value

)

Definition at line 47 of file ModelBuilderEnvironment.cpp.

setTakeFirstDependency()

void storm::dft::ModelBuilderEnvironment::setTakeFirstDependency

(

bool

value

)

Definition at line 59 of file ModelBuilderEnvironment.cpp.

setUniqueFailedBE()

void storm::dft::ModelBuilderEnvironment::setUniqueFailedBE

(

bool

value

)

Definition at line 67 of file ModelBuilderEnvironment.cpp.

setUseSymmetryReduction()

void storm::dft::ModelBuilderEnvironment::setUseSymmetryReduction

(

bool

value

)

Definition at line 18 of file ModelBuilderEnvironment.cpp.

unsetMaxDepth()

void storm::dft::ModelBuilderEnvironment::unsetMaxDepth

(

)

Definition at line 51 of file ModelBuilderEnvironment.cpp.

---

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

• src/storm-dft/environment/ModelBuilderEnvironment.h
• src/storm-dft/environment/ModelBuilderEnvironment.cpp