storm::SolverEnvironment Class Reference

#include <SolverEnvironment.h>

Public Member Functions
	SolverEnvironment ()
	~SolverEnvironment ()
EigenSolverEnvironment &	eigen ()
EigenSolverEnvironment const &	eigen () const
EliminationSolverEnvironment &	elimination ()
EliminationSolverEnvironment const &	elimination () const
GameSolverEnvironment &	game ()
GameSolverEnvironment const &	game () const
GlpkSolverEnvironment &	glpk ()
GlpkSolverEnvironment const &	glpk () const
GmmxxSolverEnvironment &	gmmxx ()
GmmxxSolverEnvironment const &	gmmxx () const
GurobiSolverEnvironment &	gurobi ()
GurobiSolverEnvironment const &	gurobi () const
LongRunAverageSolverEnvironment &	lra ()
LongRunAverageSolverEnvironment const &	lra () const
MinMaxSolverEnvironment &	minMax ()
MinMaxSolverEnvironment const &	minMax () const
MultiplierEnvironment &	multiplier ()
MultiplierEnvironment const &	multiplier () const
NativeSolverEnvironment &	native ()
NativeSolverEnvironment const &	native () const
OviSolverEnvironment &	ovi ()
OviSolverEnvironment const &	ovi () const
TimeBoundedSolverEnvironment &	timeBounded ()
TimeBoundedSolverEnvironment const &	timeBounded () const
TopologicalSolverEnvironment &	topological ()
TopologicalSolverEnvironment const &	topological () const
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
storm::solver::SmtSolverType const &	getSmtSolverType () const
	Retrieves the SMT solver that is currently selected.
void	setSmtSolverType (storm::solver::SmtSolverType const &value, bool isSetFromDefault=false)
bool	isSmtSolverTypeSetFromDefaultValue () 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)
bool	isForceSoundness () const
void	setForceSoundness (bool value)
bool	isForceExact () const
void	setForceExact (bool value)
bool	isDebugSet () const
void	setDebug (bool value)
bool	isVerboseSet () const
void	setVerbose (bool value)
uint64_t	getShowProgressDelay () const
void	setShowProgressDelay (uint64_t delay)

Detailed Description

Definition at line 44 of file SolverEnvironment.h.

Constructor & Destructor Documentation

SolverEnvironment()

storm::SolverEnvironment::SolverEnvironment

(

)

Definition at line 14 of file SolverEnvironment.cpp.

~SolverEnvironment()

storm::SolverEnvironment::~SolverEnvironment

(

)

Definition at line 40 of file SolverEnvironment.cpp.

Member Function Documentation

eigen() [1/2]

EigenSolverEnvironment & storm::SolverEnvironment::eigen

(

)

Definition at line 44 of file SolverEnvironment.cpp.

eigen() [2/2]

EigenSolverEnvironment const & storm::SolverEnvironment::eigen

(

)

const

Definition at line 48 of file SolverEnvironment.cpp.

elimination() [1/2]

EliminationSolverEnvironment & storm::SolverEnvironment::elimination

(

)

Definition at line 52 of file SolverEnvironment.cpp.

elimination() [2/2]

EliminationSolverEnvironment const & storm::SolverEnvironment::elimination

(

)

const

Definition at line 56 of file SolverEnvironment.cpp.

game() [1/2]

GameSolverEnvironment & storm::SolverEnvironment::game

(

)

Definition at line 60 of file SolverEnvironment.cpp.

game() [2/2]

GameSolverEnvironment const & storm::SolverEnvironment::game

(

)

const

Definition at line 64 of file SolverEnvironment.cpp.

getLinearEquationSolverType()

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

(

)

const

Definition at line 164 of file SolverEnvironment.cpp.

getLpSolverType()

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

(

)

const

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

getShowProgressDelay()

uint64_t storm::SolverEnvironment::getShowProgressDelay

(

)

const

Definition at line 156 of file SolverEnvironment.cpp.

getSmtSolverType()

storm::solver::SmtSolverType const & storm::SolverEnvironment::getSmtSolverType

(

)

const

Retrieves the SMT solver that is currently selected.

The value is initialized from the smtsolver core setting when the environment is constructed and can be overridden afterwards, e.g., in order to run a sub-computation with a different backend.

Returns

The selected SMT solver.

Definition at line 190 of file SolverEnvironment.cpp.

glpk() [1/2]

GlpkSolverEnvironment & storm::SolverEnvironment::glpk

(

)

Definition at line 68 of file SolverEnvironment.cpp.

glpk() [2/2]

GlpkSolverEnvironment const & storm::SolverEnvironment::glpk

(

)

const

Definition at line 72 of file SolverEnvironment.cpp.

gmmxx() [1/2]

GmmxxSolverEnvironment & storm::SolverEnvironment::gmmxx

(

)

Definition at line 76 of file SolverEnvironment.cpp.

gmmxx() [2/2]

GmmxxSolverEnvironment const & storm::SolverEnvironment::gmmxx

(

)

const

Definition at line 80 of file SolverEnvironment.cpp.

gurobi() [1/2]

GurobiSolverEnvironment & storm::SolverEnvironment::gurobi

(

)

Definition at line 84 of file SolverEnvironment.cpp.

gurobi() [2/2]

GurobiSolverEnvironment const & storm::SolverEnvironment::gurobi

(

)

const

Definition at line 88 of file SolverEnvironment.cpp.

isDebugSet()

bool storm::SolverEnvironment::isDebugSet

(

)

const

Definition at line 264 of file SolverEnvironment.cpp.

isForceExact()

bool storm::SolverEnvironment::isForceExact

(

)

const

Definition at line 256 of file SolverEnvironment.cpp.

isForceSoundness()

bool storm::SolverEnvironment::isForceSoundness

(

)

const

Definition at line 249 of file SolverEnvironment.cpp.

isLinearEquationSolverTypeSetFromDefaultValue()

bool storm::SolverEnvironment::isLinearEquationSolverTypeSetFromDefaultValue

(

)

const

Definition at line 173 of file SolverEnvironment.cpp.

isLpSolverTypeSetFromDefaultValue()

bool storm::SolverEnvironment::isLpSolverTypeSetFromDefaultValue

(

)

const

Definition at line 186 of file SolverEnvironment.cpp.

isSmtSolverTypeSetFromDefaultValue()

bool storm::SolverEnvironment::isSmtSolverTypeSetFromDefaultValue

(

)

const

Definition at line 199 of file SolverEnvironment.cpp.

isVerboseSet()

bool storm::SolverEnvironment::isVerboseSet

(

)

const

Definition at line 148 of file SolverEnvironment.cpp.

lra() [1/2]

LongRunAverageSolverEnvironment & storm::SolverEnvironment::lra

(

)

Definition at line 92 of file SolverEnvironment.cpp.

lra() [2/2]

LongRunAverageSolverEnvironment const & storm::SolverEnvironment::lra

(

)

const

Definition at line 96 of file SolverEnvironment.cpp.

minMax() [1/2]

MinMaxSolverEnvironment & storm::SolverEnvironment::minMax

(

)

Definition at line 100 of file SolverEnvironment.cpp.

minMax() [2/2]

MinMaxSolverEnvironment const & storm::SolverEnvironment::minMax

(

)

const

Definition at line 104 of file SolverEnvironment.cpp.

multiplier() [1/2]

MultiplierEnvironment & storm::SolverEnvironment::multiplier

(

)

Definition at line 108 of file SolverEnvironment.cpp.

multiplier() [2/2]

MultiplierEnvironment const & storm::SolverEnvironment::multiplier

(

)

const

Definition at line 112 of file SolverEnvironment.cpp.

native() [1/2]

NativeSolverEnvironment & storm::SolverEnvironment::native

(

)

Definition at line 116 of file SolverEnvironment.cpp.

native() [2/2]

NativeSolverEnvironment const & storm::SolverEnvironment::native

(

)

const

Definition at line 120 of file SolverEnvironment.cpp.

ovi() [1/2]

OviSolverEnvironment & storm::SolverEnvironment::ovi

(

)

Definition at line 124 of file SolverEnvironment.cpp.

ovi() [2/2]

OviSolverEnvironment const & storm::SolverEnvironment::ovi

(

)

const

Definition at line 128 of file SolverEnvironment.cpp.

setDebug()

void storm::SolverEnvironment::setDebug

(

bool

value

)

Definition at line 268 of file SolverEnvironment.cpp.

setForceExact()

void storm::SolverEnvironment::setForceExact

(

bool

value

)

Definition at line 260 of file SolverEnvironment.cpp.

setForceSoundness()

void storm::SolverEnvironment::setForceSoundness

(

bool

value

)

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

setLinearEquationSolverType()

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

Definition at line 168 of file SolverEnvironment.cpp.

setLpSolverType()

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

Definition at line 181 of file SolverEnvironment.cpp.

setShowProgressDelay()

void storm::SolverEnvironment::setShowProgressDelay

(

uint64_t

delay

)

Definition at line 160 of file SolverEnvironment.cpp.

setSmtSolverType()

void storm::SolverEnvironment::setSmtSolverType	(	storm::solver::SmtSolverType const &	value,
		bool	isSetFromDefault = false )

Definition at line 194 of file SolverEnvironment.cpp.

setVerbose()

void storm::SolverEnvironment::setVerbose

(

bool

value

)

Definition at line 152 of file SolverEnvironment.cpp.

timeBounded() [1/2]

TimeBoundedSolverEnvironment & storm::SolverEnvironment::timeBounded

(

)

Definition at line 132 of file SolverEnvironment.cpp.

timeBounded() [2/2]

TimeBoundedSolverEnvironment const & storm::SolverEnvironment::timeBounded

(

)

const

Definition at line 136 of file SolverEnvironment.cpp.

topological() [1/2]

TopologicalSolverEnvironment & storm::SolverEnvironment::topological

(

)

Definition at line 140 of file SolverEnvironment.cpp.

topological() [2/2]

TopologicalSolverEnvironment const & storm::SolverEnvironment::topological

(

)

const

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