storm::TopologicalSolverEnvironment Class Reference

#include <TopologicalSolverEnvironment.h>

Public Member Functions
	TopologicalSolverEnvironment ()
	~TopologicalSolverEnvironment ()
storm::solver::EquationSolverType const &	getUnderlyingEquationSolverType () const
bool const &	isUnderlyingEquationSolverTypeSetFromDefault () const
void	setUnderlyingEquationSolverType (storm::solver::EquationSolverType value, bool isSetFromDefault=false)
storm::solver::MinMaxMethod const &	getUnderlyingMinMaxMethod () const
bool const &	isUnderlyingMinMaxMethodSetFromDefault () const
void	setUnderlyingMinMaxMethod (storm::solver::MinMaxMethod value, bool isSetFromDefault=false)
bool	isExtendRelevantValues () const
void	setExtendRelevantValues (bool value)

Detailed Description

Definition at line 9 of file TopologicalSolverEnvironment.h.

Constructor & Destructor Documentation

TopologicalSolverEnvironment()

storm::TopologicalSolverEnvironment::TopologicalSolverEnvironment

(

)

Definition at line 11 of file TopologicalSolverEnvironment.cpp.

~TopologicalSolverEnvironment()

storm::TopologicalSolverEnvironment::~TopologicalSolverEnvironment

(

)

Definition at line 26 of file TopologicalSolverEnvironment.cpp.

Member Function Documentation

getUnderlyingEquationSolverType()

storm::solver::EquationSolverType const & storm::TopologicalSolverEnvironment::getUnderlyingEquationSolverType

(

)

const

Definition at line 30 of file TopologicalSolverEnvironment.cpp.

getUnderlyingMinMaxMethod()

storm::solver::MinMaxMethod const & storm::TopologicalSolverEnvironment::getUnderlyingMinMaxMethod

(

)

const

Definition at line 45 of file TopologicalSolverEnvironment.cpp.

isExtendRelevantValues()

bool storm::TopologicalSolverEnvironment::isExtendRelevantValues

(

)

const

Definition at line 60 of file TopologicalSolverEnvironment.cpp.

isUnderlyingEquationSolverTypeSetFromDefault()

bool const & storm::TopologicalSolverEnvironment::isUnderlyingEquationSolverTypeSetFromDefault

(

)

const

Definition at line 34 of file TopologicalSolverEnvironment.cpp.

isUnderlyingMinMaxMethodSetFromDefault()

bool const & storm::TopologicalSolverEnvironment::isUnderlyingMinMaxMethodSetFromDefault

(

)

const

Definition at line 49 of file TopologicalSolverEnvironment.cpp.

setExtendRelevantValues()

void storm::TopologicalSolverEnvironment::setExtendRelevantValues

(

bool

value

)

Definition at line 64 of file TopologicalSolverEnvironment.cpp.

setUnderlyingEquationSolverType()

void storm::TopologicalSolverEnvironment::setUnderlyingEquationSolverType	(	storm::solver::EquationSolverType	value,
		bool	isSetFromDefault = false )

Definition at line 38 of file TopologicalSolverEnvironment.cpp.

setUnderlyingMinMaxMethod()

void storm::TopologicalSolverEnvironment::setUnderlyingMinMaxMethod	(	storm::solver::MinMaxMethod	value,
		bool	isSetFromDefault = false )

Definition at line 53 of file TopologicalSolverEnvironment.cpp.

---

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

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