storm::utility::solver Namespace Reference

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

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)
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 115 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()

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

(

storm::expressions::ExpressionManager &

manager

)

Definition at line 189 of file solver.cpp.