Storm
A Modern Probabilistic Model Checker
|
Go to the source code of this file.
Namespaces | |
namespace | storm |
LabParser.cpp. | |
namespace | storm::solver |
namespace | storm::expressions |
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, false > > | storm::utility::solver::getLpSolver (std::string const &name, storm::solver::LpSolverTypeSelection solvType=storm::solver::LpSolverTypeSelection::FROMSETTINGS) |
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) |