Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
StandardMinMaxLinearEquationSolver.cpp
Go to the documentation of this file.
1
#include "
storm/solver/StandardMinMaxLinearEquationSolver.h
"
2
3
#include "
storm/solver/EigenLinearEquationSolver.h
"
4
#include "
storm/solver/EliminationLinearEquationSolver.h
"
5
#include "
storm/solver/GmmxxLinearEquationSolver.h
"
6
#include "
storm/solver/IterativeMinMaxLinearEquationSolver.h
"
7
#include "
storm/solver/NativeLinearEquationSolver.h
"
8
#include "
storm/solver/TopologicalLinearEquationSolver.h
"
9
10
#include "
storm/environment/solver/MinMaxSolverEnvironment.h
"
11
12
#include "
storm/exceptions/InvalidSettingsException.h
"
13
#include "
storm/exceptions/InvalidStateException.h
"
14
#include "
storm/exceptions/NotImplementedException.h
"
15
#include "
storm/utility/macros.h
"
16
#include "
storm/utility/vector.h
"
17
namespace
storm::solver
{
18
19
template
<
typename
ValueType,
typename
SolutionType>
20
StandardMinMaxLinearEquationSolver<ValueType, SolutionType>::StandardMinMaxLinearEquationSolver
() : A(nullptr) {
21
// Intentionally left empty.
22
}
23
24
template
<
typename
ValueType,
typename
SolutionType>
25
StandardMinMaxLinearEquationSolver<ValueType, SolutionType>::StandardMinMaxLinearEquationSolver
(
storm::storage::SparseMatrix<ValueType>
const
& A)
26
: localA(nullptr), A(&A) {
27
// Intentionally left empty.
28
}
29
30
template
<
typename
ValueType,
typename
SolutionType>
31
StandardMinMaxLinearEquationSolver<ValueType, SolutionType>::StandardMinMaxLinearEquationSolver
(
storm::storage::SparseMatrix<ValueType>
&& A)
32
: localA(
std
::make_unique<
storm
::storage::SparseMatrix<ValueType>>(
std
::move(A))), A(localA.get()) {
33
// Intentionally left empty.
34
}
35
36
template
<
typename
ValueType,
typename
SolutionType>
37
void
StandardMinMaxLinearEquationSolver<ValueType, SolutionType>::setMatrix
(
storm::storage::SparseMatrix<ValueType>
const
& matrix) {
38
this->localA =
nullptr
;
39
this->A = &matrix;
40
this->clearCache();
41
}
42
43
template
<
typename
ValueType,
typename
SolutionType>
44
void
StandardMinMaxLinearEquationSolver<ValueType, SolutionType>::setMatrix
(
storm::storage::SparseMatrix<ValueType>
&& matrix) {
45
this->localA = std::make_unique<storm::storage::SparseMatrix<ValueType>>(std::move(matrix));
46
this->A = this->localA.get();
47
this->clearCache();
48
}
49
50
template
class
StandardMinMaxLinearEquationSolver<double>
;
51
template
class
StandardMinMaxLinearEquationSolver<storm::RationalNumber>
;
52
template
class
StandardMinMaxLinearEquationSolver<storm::Interval, double>
;
53
54
}
// namespace storm::solver
EigenLinearEquationSolver.h
EliminationLinearEquationSolver.h
GmmxxLinearEquationSolver.h
InvalidSettingsException.h
InvalidStateException.h
IterativeMinMaxLinearEquationSolver.h
MinMaxSolverEnvironment.h
NativeLinearEquationSolver.h
NotImplementedException.h
StandardMinMaxLinearEquationSolver.h
TopologicalLinearEquationSolver.h
storm::solver::StandardMinMaxLinearEquationSolver
Definition
StandardMinMaxLinearEquationSolver.h:13
storm::solver::StandardMinMaxLinearEquationSolver::StandardMinMaxLinearEquationSolver
StandardMinMaxLinearEquationSolver()
Definition
StandardMinMaxLinearEquationSolver.cpp:20
storm::solver::StandardMinMaxLinearEquationSolver::setMatrix
virtual void setMatrix(storm::storage::SparseMatrix< ValueType > const &matrix) override
Definition
StandardMinMaxLinearEquationSolver.cpp:37
storm::storage::SparseMatrix
A class that holds a possibly non-square matrix in the compressed row storage format.
Definition
SparseMatrix.h:332
macros.h
std
Definition
DFTIsomorphism.h:691
storm::solver
Definition
CoreSettings.h:11
storm
LabParser.cpp.
Definition
cli.cpp:18
vector.h
src
storm
solver
StandardMinMaxLinearEquationSolver.cpp
Generated by
1.9.8