SolveGoal.cpp File Reference

#include "storm/solver/SolveGoal.h"
#include "storm/adapters/IntervalAdapter.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/exceptions/InvalidPropertyException.h"
#include "storm/modelchecker/CheckTask.h"
#include "storm/solver/LinearEquationSolver.h"
#include "storm/solver/MinMaxLinearEquationSolver.h"

Include dependency graph for SolveGoal.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::storage
namespace	storm::solver

Functions
template<typename ValueType, typename MatrixType, typename SolutionType>
std::unique_ptr< storm::solver::LinearEquationSolver< ValueType > >	storm::solver::configureLinearEquationSolver (Environment const &env, SolveGoal< ValueType, SolutionType > &&goal, storm::solver::LinearEquationSolverFactory< ValueType > const &factory, MatrixType &&matrix)
template std::unique_ptr< storm::solver::LinearEquationSolver< double > >	storm::solver::configureLinearEquationSolver< double, storm::storage::SparseMatrix< double >, double > (Environment const &, SolveGoal< double, double > &&, storm::solver::LinearEquationSolverFactory< double > const &, storm::storage::SparseMatrix< double > &&)