storm::utility::solver Namespace Reference

Classes
class	LpSolverFactory
class	GlpkLpSolverFactory
class	SoplexLpSolverFactory
class	HighsLpSolverFactory
class	GurobiLpSolverFactory
class	Z3LpSolverFactory
class	SmtSolverFactory
class	Z3SmtSolverFactory
class	MathsatSmtSolverFactory
class	Cvc5SmtSolverFactory

Functions
template<typename ValueType>
std::unique_ptr< LpSolverFactory< ValueType > >	getLpSolverFactory (storm::Environment const &env, storm::solver::LpSolverTypeSelection solvType)
template<typename ValueType>
std::unique_ptr< storm::solver::LpSolver< ValueType > >	getLpSolver (storm::Environment const &env, std::string const &name, storm::solver::LpSolverTypeSelection solvType)
template<typename ValueType>
std::unique_ptr< storm::solver::LpSolver< ValueType, true > >	getRawLpSolver (storm::Environment const &env, std::string const &name, storm::solver::LpSolverTypeSelection solvType)
std::unique_ptr< storm::solver::SmtSolver >	getSmtSolver (storm::expressions::ExpressionManager &manager)
std::unique_ptr< storm::solver::SmtSolver >	getSmtSolver (storm::Environment const &env, storm::expressions::ExpressionManager &manager)
	Creates a new SMT solver instance, honoring an SMT solver selected in the given environment.
template std::unique_ptr< LpSolverFactory< double > >	getLpSolverFactory (storm::Environment const &env, storm::solver::LpSolverTypeSelection solvType)
template std::unique_ptr< storm::solver::LpSolver< double > >	getLpSolver (storm::Environment const &env, std::string const &name, storm::solver::LpSolverTypeSelection solvType)
template std::unique_ptr< storm::solver::LpSolver< double, true > >	getRawLpSolver (storm::Environment const &env, std::string const &name, storm::solver::LpSolverTypeSelection solvType)
template<typename ValueType>
std::unique_ptr< storm::solver::LpSolver< ValueType, false > >	getLpSolver (storm::Environment const &env, std::string const &name, storm::solver::LpSolverTypeSelection solvType=storm::solver::LpSolverTypeSelection::FROMSETTINGS)

Function Documentation

getLpSolver() [1/3]

template std::unique_ptr< storm::solver::LpSolver< double > > storm::utility::solver::getLpSolver	(	storm::Environment const &	env,
		std::string const &	name,
		storm::solver::LpSolverTypeSelection	solvType )

getLpSolver() [2/3]

template<typename ValueType>

template std::unique_ptr< storm::solver::LpSolver< storm::RationalNumber > > storm::utility::solver::getLpSolver	(	storm::Environment const &	env,
		std::string const &	name,
		storm::solver::LpSolverTypeSelection	solvType )

Definition at line 146 of file solver.cpp.

getLpSolver() [3/3]

template<typename ValueType>

std::unique_ptr< storm::solver::LpSolver< ValueType, false > > storm::utility::solver::getLpSolver	(	storm::Environment const &	env,
		std::string const &	name,
		storm::solver::LpSolverTypeSelection	solvType = storm::solver::LpSolverTypeSelection::FROMSETTINGS )

Definition at line 146 of file solver.cpp.

getLpSolverFactory() [1/2]

template std::unique_ptr< LpSolverFactory< double > > storm::utility::solver::getLpSolverFactory	(	storm::Environment const &	env,
		storm::solver::LpSolverTypeSelection	solvType )

getLpSolverFactory() [2/2]

template<typename ValueType>

std::unique_ptr< LpSolverFactory< ValueType > > storm::utility::solver::getLpSolverFactory	(	storm::Environment const &	env,
		storm::solver::LpSolverTypeSelection	solvType )

Definition at line 114 of file solver.cpp.

getRawLpSolver() [1/2]

template std::unique_ptr< storm::solver::LpSolver< double, true > > storm::utility::solver::getRawLpSolver	(	storm::Environment const &	env,
		std::string const &	name,
		storm::solver::LpSolverTypeSelection	solvType )

getRawLpSolver() [2/2]

template<typename ValueType>

std::unique_ptr< storm::solver::LpSolver< ValueType, true > > storm::utility::solver::getRawLpSolver	(	storm::Environment const &	env,
		std::string const &	name,
		storm::solver::LpSolverTypeSelection	solvType )

Definition at line 153 of file solver.cpp.

getSmtSolver() [1/2]

std::unique_ptr< storm::solver::SmtSolver > storm::utility::solver::getSmtSolver	(	storm::Environment const &	env,
		storm::expressions::ExpressionManager &	manager )

Creates a new SMT solver instance, honoring an SMT solver selected in the given environment.

Parameters

env	The environment determining the SMT solver to use.
manager	The expression manager responsible for the expressions that will be given to the SMT solver.

Returns

A pointer to the newly created solver.

Definition at line 220 of file solver.cpp.

getSmtSolver() [2/2]

std::unique_ptr< storm::solver::SmtSolver > storm::utility::solver::getSmtSolver

(

storm::expressions::ExpressionManager &

manager

)

Definition at line 215 of file solver.cpp.