SolveGoal.h File Reference

#include <memory>
#include <boost/optional.hpp>
#include "storm/logic/ComparisonType.h"
#include "storm/solver/OptimizationDirection.h"
#include "storm/storage/BitVector.h"
#include "storm/solver/LinearEquationSolver.h"
#include "storm/solver/MinMaxLinearEquationSolver.h"

Include dependency graph for SolveGoal.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	storm::solver::SolveGoal< ValueType, SolutionType >

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::storage
namespace	storm::solver
namespace	storm::modelchecker
namespace	storm::models
namespace	storm::models::sparse

Functions
template<typename ValueType , typename MatrixType , typename SolutionType >
std::unique_ptr< storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType > >	storm::solver::configureMinMaxLinearEquationSolver (Environment const &env, SolveGoal< ValueType, SolutionType > &&goal, storm::solver::MinMaxLinearEquationSolverFactory< ValueType, SolutionType > const &factory, MatrixType &&matrix)
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<typename MatrixType >
std::unique_ptr< storm::solver::LinearEquationSolver< storm::RationalFunction > >	storm::solver::configureLinearEquationSolver (Environment const &env, SolveGoal< storm::RationalFunction > &&, storm::solver::LinearEquationSolverFactory< storm::RationalFunction > const &factory, MatrixType &&matrix)