solver.cpp File Reference

#include "storm/utility/solver.h"
#include "storm/exceptions/InvalidOperationException.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/CoreSettings.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm/solver/GlpkLpSolver.h"
#include "storm/solver/GurobiLpSolver.h"
#include "storm/solver/MathsatSmtSolver.h"
#include "storm/solver/SoplexLpSolver.h"
#include "storm/solver/Z3LpSolver.h"
#include "storm/solver/Z3SmtSolver.h"
#include "storm/utility/NumberTraits.h"

Include dependency graph for solver.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::utility
namespace	storm::utility::solver

Functions
template<typename ValueType >
std::unique_ptr< LpSolverFactory< ValueType > >	storm::utility::solver::getLpSolverFactory (storm::solver::LpSolverTypeSelection solvType)
template<typename ValueType >
std::unique_ptr< storm::solver::LpSolver< ValueType > >	storm::utility::solver::getLpSolver (std::string const &name, storm::solver::LpSolverTypeSelection solvType)
template<typename ValueType >
std::unique_ptr< storm::solver::LpSolver< ValueType, true > >	storm::utility::solver::getRawLpSolver (std::string const &name, storm::solver::LpSolverTypeSelection solvType)
std::unique_ptr< storm::solver::SmtSolver >	storm::utility::solver::getSmtSolver (storm::expressions::ExpressionManager &manager)
template std::unique_ptr< LpSolverFactory< double > >	storm::utility::solver::getLpSolverFactory (storm::solver::LpSolverTypeSelection solvType)
template std::unique_ptr< storm::solver::LpSolver< double > >	storm::utility::solver::getLpSolver (std::string const &name, storm::solver::LpSolverTypeSelection solvType)
template std::unique_ptr< storm::solver::LpSolver< double, true > >	storm::utility::solver::getRawLpSolver (std::string const &name, storm::solver::LpSolverTypeSelection solvType)