storm::MultiplierEnvironment Class Reference

#include <MultiplierEnvironment.h>

Public Member Functions
	MultiplierEnvironment ()
	~MultiplierEnvironment ()
storm::solver::MultiplierType const &	getType () const
bool const &	isTypeSetFromDefault () const
void	setType (storm::solver::MultiplierType value, bool isSetFromDefault=false)

Detailed Description

Definition at line 8 of file MultiplierEnvironment.h.

Constructor & Destructor Documentation

MultiplierEnvironment()

storm::MultiplierEnvironment::MultiplierEnvironment

(

)

Definition at line 10 of file MultiplierEnvironment.cpp.

~MultiplierEnvironment()

storm::MultiplierEnvironment::~MultiplierEnvironment

(

)

Definition at line 16 of file MultiplierEnvironment.cpp.

Member Function Documentation

getType()

storm::solver::MultiplierType const & storm::MultiplierEnvironment::getType

(

)

const

Definition at line 20 of file MultiplierEnvironment.cpp.

isTypeSetFromDefault()

bool const & storm::MultiplierEnvironment::isTypeSetFromDefault

(

)

const

Definition at line 24 of file MultiplierEnvironment.cpp.

setType()

void storm::MultiplierEnvironment::setType	(	storm::solver::MultiplierType	value,
		bool	isSetFromDefault = false
	)

Definition at line 28 of file MultiplierEnvironment.cpp.

---

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

• src/storm/environment/solver/MultiplierEnvironment.h
• src/storm/environment/solver/MultiplierEnvironment.cpp