storm::SolverEnvironment Class Reference

#include <SolverEnvironment.h>

Public Member Functions
	SolverEnvironment ()
	~SolverEnvironment ()
EigenSolverEnvironment &	eigen ()
EigenSolverEnvironment const &	eigen () const
GmmxxSolverEnvironment &	gmmxx ()
GmmxxSolverEnvironment const &	gmmxx () const
NativeSolverEnvironment &	native ()
NativeSolverEnvironment const &	native () const
LongRunAverageSolverEnvironment &	lra ()
LongRunAverageSolverEnvironment const &	lra () const
TimeBoundedSolverEnvironment &	timeBounded ()
TimeBoundedSolverEnvironment const &	timeBounded () const
MinMaxSolverEnvironment &	minMax ()
MinMaxSolverEnvironment const &	minMax () const
MultiplierEnvironment &	multiplier ()
MultiplierEnvironment const &	multiplier () const
OviSolverEnvironment const &	ovi () const
OviSolverEnvironment &	ovi ()
GameSolverEnvironment &	game ()
GameSolverEnvironment const &	game () const
TopologicalSolverEnvironment &	topological ()
TopologicalSolverEnvironment const &	topological () const
bool	isForceSoundness () const
void	setForceSoundness (bool value)
bool	isForceExact () const
void	setForceExact (bool value)
storm::solver::EquationSolverType const &	getLinearEquationSolverType () const
void	setLinearEquationSolverType (storm::solver::EquationSolverType const &value, bool isSetFromDefault=false)
bool	isLinearEquationSolverTypeSetFromDefaultValue () const
std::pair< boost::optional< storm::RationalNumber >, boost::optional< bool > >	getPrecisionOfLinearEquationSolver (storm::solver::EquationSolverType const &solverType) const
void	setLinearEquationSolverPrecision (boost::optional< storm::RationalNumber > const &newPrecision, boost::optional< bool > const &relativePrecision=boost::none)

Detailed Description

Definition at line 25 of file SolverEnvironment.h.

Constructor & Destructor Documentation

SolverEnvironment()

storm::SolverEnvironment::SolverEnvironment

(

)

Definition at line 15 of file SolverEnvironment.cpp.

~SolverEnvironment()

storm::SolverEnvironment::~SolverEnvironment

(

)

Definition at line 23 of file SolverEnvironment.cpp.

Member Function Documentation

eigen() [1/2]

EigenSolverEnvironment & storm::SolverEnvironment::eigen

(

)

Definition at line 59 of file SolverEnvironment.cpp.

eigen() [2/2]

EigenSolverEnvironment const & storm::SolverEnvironment::eigen

(

)

const

Definition at line 63 of file SolverEnvironment.cpp.

game() [1/2]

GameSolverEnvironment & storm::SolverEnvironment::game

(

)

Definition at line 83 of file SolverEnvironment.cpp.

game() [2/2]

GameSolverEnvironment const & storm::SolverEnvironment::game

(

)

const

Definition at line 87 of file SolverEnvironment.cpp.

getLinearEquationSolverType()

storm::solver::EquationSolverType const & storm::SolverEnvironment::getLinearEquationSolverType

(

)

const

Definition at line 123 of file SolverEnvironment.cpp.

getPrecisionOfLinearEquationSolver()

std::pair< boost::optional< storm::RationalNumber >, boost::optional< bool > > storm::SolverEnvironment::getPrecisionOfLinearEquationSolver

(

storm::solver::EquationSolverType const &

solverType

)

const

Definition at line 136 of file SolverEnvironment.cpp.

gmmxx() [1/2]

GmmxxSolverEnvironment & storm::SolverEnvironment::gmmxx

(

)

Definition at line 67 of file SolverEnvironment.cpp.

gmmxx() [2/2]

GmmxxSolverEnvironment const & storm::SolverEnvironment::gmmxx

(

)

const

Definition at line 71 of file SolverEnvironment.cpp.

isForceExact()

bool storm::SolverEnvironment::isForceExact

(

)

const

Definition at line 115 of file SolverEnvironment.cpp.

isForceSoundness()

bool storm::SolverEnvironment::isForceSoundness

(

)

const

Definition at line 107 of file SolverEnvironment.cpp.

isLinearEquationSolverTypeSetFromDefaultValue()

bool storm::SolverEnvironment::isLinearEquationSolverTypeSetFromDefaultValue

(

)

const

Definition at line 132 of file SolverEnvironment.cpp.

lra() [1/2]

LongRunAverageSolverEnvironment & storm::SolverEnvironment::lra

(

)

Definition at line 27 of file SolverEnvironment.cpp.

lra() [2/2]

LongRunAverageSolverEnvironment const & storm::SolverEnvironment::lra

(

)

const

Definition at line 31 of file SolverEnvironment.cpp.

minMax() [1/2]

MinMaxSolverEnvironment & storm::SolverEnvironment::minMax

(

)

Definition at line 43 of file SolverEnvironment.cpp.

minMax() [2/2]

MinMaxSolverEnvironment const & storm::SolverEnvironment::minMax

(

)

const

Definition at line 47 of file SolverEnvironment.cpp.

multiplier() [1/2]

MultiplierEnvironment & storm::SolverEnvironment::multiplier

(

)

Definition at line 51 of file SolverEnvironment.cpp.

multiplier() [2/2]

MultiplierEnvironment const & storm::SolverEnvironment::multiplier

(

)

const

Definition at line 55 of file SolverEnvironment.cpp.

native() [1/2]

NativeSolverEnvironment & storm::SolverEnvironment::native

(

)

Definition at line 75 of file SolverEnvironment.cpp.

native() [2/2]

NativeSolverEnvironment const & storm::SolverEnvironment::native

(

)

const

Definition at line 79 of file SolverEnvironment.cpp.

ovi() [1/2]

OviSolverEnvironment & storm::SolverEnvironment::ovi

(

)

Definition at line 99 of file SolverEnvironment.cpp.

ovi() [2/2]

OviSolverEnvironment const & storm::SolverEnvironment::ovi

(

)

const

Definition at line 103 of file SolverEnvironment.cpp.

setForceExact()

void storm::SolverEnvironment::setForceExact

(

bool

value

)

Definition at line 119 of file SolverEnvironment.cpp.

setForceSoundness()

void storm::SolverEnvironment::setForceSoundness

(

bool

value

)

Definition at line 111 of file SolverEnvironment.cpp.

setLinearEquationSolverPrecision()

void storm::SolverEnvironment::setLinearEquationSolverPrecision	(	boost::optional< storm::RationalNumber > const &	newPrecision,
		boost::optional< bool > const &	relativePrecision = boost::none )

Definition at line 161 of file SolverEnvironment.cpp.

setLinearEquationSolverType()

void storm::SolverEnvironment::setLinearEquationSolverType	(	storm::solver::EquationSolverType const &	value,
		bool	isSetFromDefault = false )

Definition at line 127 of file SolverEnvironment.cpp.

timeBounded() [1/2]

TimeBoundedSolverEnvironment & storm::SolverEnvironment::timeBounded

(

)

Definition at line 35 of file SolverEnvironment.cpp.

timeBounded() [2/2]

TimeBoundedSolverEnvironment const & storm::SolverEnvironment::timeBounded

(

)

const

Definition at line 39 of file SolverEnvironment.cpp.

topological() [1/2]

TopologicalSolverEnvironment & storm::SolverEnvironment::topological

(

)

Definition at line 91 of file SolverEnvironment.cpp.

topological() [2/2]

TopologicalSolverEnvironment const & storm::SolverEnvironment::topological

(

)

const

Definition at line 95 of file SolverEnvironment.cpp.

---

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

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