storm::dft::TransformationEnvironment Class Reference

Environment configuring transformation on the build model. More...

#include <TransformationEnvironment.h>

Public Member Functions
	TransformationEnvironment ()
	~TransformationEnvironment ()
bool	isUseBisimulation () const
void	setUseBisimulation (bool value)
bool	isEliminateChains () const
void	setEliminateChains (bool value)
storm::transformer::EliminationLabelBehavior	getLabelBehavior () const
void	setLabelBehavior (storm::transformer::EliminationLabelBehavior value)

Detailed Description

Environment configuring transformation on the build model.

Definition at line 10 of file TransformationEnvironment.h.

Constructor & Destructor Documentation

TransformationEnvironment()

storm::dft::TransformationEnvironment::TransformationEnvironment

(

)

Definition at line 5 of file TransformationEnvironment.cpp.

~TransformationEnvironment()

storm::dft::TransformationEnvironment::~TransformationEnvironment ( )

default

Member Function Documentation

getLabelBehavior()

storm::transformer::EliminationLabelBehavior storm::dft::TransformationEnvironment::getLabelBehavior

(

)

const

Definition at line 28 of file TransformationEnvironment.cpp.

isEliminateChains()

bool storm::dft::TransformationEnvironment::isEliminateChains

(

)

const

Definition at line 20 of file TransformationEnvironment.cpp.

isUseBisimulation()

bool storm::dft::TransformationEnvironment::isUseBisimulation

(

)

const

Definition at line 12 of file TransformationEnvironment.cpp.

setEliminateChains()

void storm::dft::TransformationEnvironment::setEliminateChains

(

bool

value

)

Definition at line 24 of file TransformationEnvironment.cpp.

setLabelBehavior()

void storm::dft::TransformationEnvironment::setLabelBehavior

(

storm::transformer::EliminationLabelBehavior

value

)

Definition at line 32 of file TransformationEnvironment.cpp.

setUseBisimulation()

void storm::dft::TransformationEnvironment::setUseBisimulation

(

bool

value

)

Definition at line 16 of file TransformationEnvironment.cpp.

---

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

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