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
GurobiSolverEnvironment &	gurobi ()
GurobiSolverEnvironment const &	gurobi () const
GlpkSolverEnvironment &	glpk ()
GlpkSolverEnvironment const &	glpk () const
EliminationSolverEnvironment &	elimination ()
EliminationSolverEnvironment const &	elimination () const
bool	isForceSoundness () const
void	setForceSoundness (bool value)
bool	isForceExact () const
void	setForceExact (bool value)
bool	isDebugSet () const
void	setDebug (bool value)
storm::solver::EquationSolverType const &	getLinearEquationSolverType () const
void	setLinearEquationSolverType (storm::solver::EquationSolverType const &value, bool isSetFromDefault=false)
bool	isLinearEquationSolverTypeSetFromDefaultValue () const
storm::solver::LpSolverType const &	getLpSolverType () const
void	setLpSolverType (storm::solver::LpSolverType const &value, bool isSetFromDefault=false)
bool	isLpSolverTypeSetFromDefaultValue () 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 28 of file SolverEnvironment.h.

Constructor & Destructor Documentation

SolverEnvironment()

storm::SolverEnvironment::SolverEnvironment

(

)

Definition at line 17 of file SolverEnvironment.cpp.

~SolverEnvironment()

storm::SolverEnvironment::~SolverEnvironment

(

)

Definition at line 28 of file SolverEnvironment.cpp.

Member Function Documentation

eigen() [1/2]

EigenSolverEnvironment & storm::SolverEnvironment::eigen

(

)

Definition at line 64 of file SolverEnvironment.cpp.

eigen() [2/2]

EigenSolverEnvironment const & storm::SolverEnvironment::eigen

(

)

const

Definition at line 68 of file SolverEnvironment.cpp.

elimination() [1/2]

EliminationSolverEnvironment & storm::SolverEnvironment::elimination

(

)

Definition at line 104 of file SolverEnvironment.cpp.

elimination() [2/2]

EliminationSolverEnvironment const & storm::SolverEnvironment::elimination

(

)

const

Definition at line 108 of file SolverEnvironment.cpp.

game() [1/2]

GameSolverEnvironment & storm::SolverEnvironment::game

(

)

Definition at line 88 of file SolverEnvironment.cpp.

game() [2/2]

GameSolverEnvironment const & storm::SolverEnvironment::game

(

)

const

Definition at line 92 of file SolverEnvironment.cpp.

getLinearEquationSolverType()

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

(

)

const

Definition at line 160 of file SolverEnvironment.cpp.

getLpSolverType()

storm::solver::LpSolverType const & storm::SolverEnvironment::getLpSolverType

(

)

const

Definition at line 173 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 186 of file SolverEnvironment.cpp.

glpk() [1/2]

GlpkSolverEnvironment & storm::SolverEnvironment::glpk

(

)

Definition at line 128 of file SolverEnvironment.cpp.

glpk() [2/2]

GlpkSolverEnvironment const & storm::SolverEnvironment::glpk

(

)

const

Definition at line 132 of file SolverEnvironment.cpp.

gmmxx() [1/2]

GmmxxSolverEnvironment & storm::SolverEnvironment::gmmxx

(

)

Definition at line 72 of file SolverEnvironment.cpp.

gmmxx() [2/2]

GmmxxSolverEnvironment const & storm::SolverEnvironment::gmmxx

(

)

const

Definition at line 76 of file SolverEnvironment.cpp.

gurobi() [1/2]

GurobiSolverEnvironment & storm::SolverEnvironment::gurobi

(

)

Definition at line 120 of file SolverEnvironment.cpp.

gurobi() [2/2]

GurobiSolverEnvironment const & storm::SolverEnvironment::gurobi

(

)

const

Definition at line 124 of file SolverEnvironment.cpp.

isDebugSet()

bool storm::SolverEnvironment::isDebugSet

(

)

const

Definition at line 152 of file SolverEnvironment.cpp.

isForceExact()

bool storm::SolverEnvironment::isForceExact

(

)

const

Definition at line 144 of file SolverEnvironment.cpp.

isForceSoundness()

bool storm::SolverEnvironment::isForceSoundness

(

)

const

Definition at line 136 of file SolverEnvironment.cpp.

isLinearEquationSolverTypeSetFromDefaultValue()

bool storm::SolverEnvironment::isLinearEquationSolverTypeSetFromDefaultValue

(

)

const

Definition at line 169 of file SolverEnvironment.cpp.

isLpSolverTypeSetFromDefaultValue()

bool storm::SolverEnvironment::isLpSolverTypeSetFromDefaultValue

(

)

const

Definition at line 182 of file SolverEnvironment.cpp.

lra() [1/2]

LongRunAverageSolverEnvironment & storm::SolverEnvironment::lra

(

)

Definition at line 32 of file SolverEnvironment.cpp.

lra() [2/2]

LongRunAverageSolverEnvironment const & storm::SolverEnvironment::lra

(

)

const

Definition at line 36 of file SolverEnvironment.cpp.

minMax() [1/2]

MinMaxSolverEnvironment & storm::SolverEnvironment::minMax

(

)

Definition at line 48 of file SolverEnvironment.cpp.

minMax() [2/2]

MinMaxSolverEnvironment const & storm::SolverEnvironment::minMax

(

)

const

Definition at line 52 of file SolverEnvironment.cpp.

multiplier() [1/2]

MultiplierEnvironment & storm::SolverEnvironment::multiplier

(

)

Definition at line 56 of file SolverEnvironment.cpp.

multiplier() [2/2]

MultiplierEnvironment const & storm::SolverEnvironment::multiplier

(

)

const

Definition at line 60 of file SolverEnvironment.cpp.

native() [1/2]

NativeSolverEnvironment & storm::SolverEnvironment::native

(

)

Definition at line 80 of file SolverEnvironment.cpp.

native() [2/2]

NativeSolverEnvironment const & storm::SolverEnvironment::native

(

)

const

Definition at line 84 of file SolverEnvironment.cpp.

ovi() [1/2]

OviSolverEnvironment & storm::SolverEnvironment::ovi

(

)

Definition at line 112 of file SolverEnvironment.cpp.

ovi() [2/2]

OviSolverEnvironment const & storm::SolverEnvironment::ovi

(

)

const

Definition at line 116 of file SolverEnvironment.cpp.

setDebug()

void storm::SolverEnvironment::setDebug

(

bool

value

)

Definition at line 156 of file SolverEnvironment.cpp.

setForceExact()

void storm::SolverEnvironment::setForceExact

(

bool

value

)

Definition at line 148 of file SolverEnvironment.cpp.

setForceSoundness()

void storm::SolverEnvironment::setForceSoundness

(

bool

value

)

Definition at line 140 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 211 of file SolverEnvironment.cpp.

setLinearEquationSolverType()

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

Definition at line 164 of file SolverEnvironment.cpp.

setLpSolverType()

void storm::SolverEnvironment::setLpSolverType	(	storm::solver::LpSolverType const &	value,
		bool	isSetFromDefault = false )

Definition at line 177 of file SolverEnvironment.cpp.

timeBounded() [1/2]

TimeBoundedSolverEnvironment & storm::SolverEnvironment::timeBounded

(

)

Definition at line 40 of file SolverEnvironment.cpp.

timeBounded() [2/2]

TimeBoundedSolverEnvironment const & storm::SolverEnvironment::timeBounded

(

)

const

Definition at line 44 of file SolverEnvironment.cpp.

topological() [1/2]

TopologicalSolverEnvironment & storm::SolverEnvironment::topological

(

)

Definition at line 96 of file SolverEnvironment.cpp.

topological() [2/2]

TopologicalSolverEnvironment const & storm::SolverEnvironment::topological

(

)

const

Definition at line 100 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