Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
StandardMinMaxLinearEquationSolver.cpp
Go to the documentation of this file.
2
9
11
17namespace storm::solver {
18
19template<typename ValueType, typename SolutionType>
21 // Intentionally left empty.
22}
23
24template<typename ValueType, typename SolutionType>
29
30template<typename ValueType, typename SolutionType>
32 : localA(std::make_unique<storm::storage::SparseMatrix<ValueType>>(std::move(A))), A(localA.get()) {
33 // Intentionally left empty.
34}
35
36template<typename ValueType, typename SolutionType>
38 this->localA = nullptr;
39 this->A = &matrix;
40 this->clearCache();
41}
42
43template<typename ValueType, typename SolutionType>
45 this->localA = std::make_unique<storm::storage::SparseMatrix<ValueType>>(std::move(matrix));
46 this->A = this->localA.get();
47 this->clearCache();
48}
49
53
54} // namespace storm::solver
virtual void setMatrix(storm::storage::SparseMatrix< ValueType > const &matrix) override
A class that holds a possibly non-square matrix in the compressed row storage format.
LabParser.cpp.
Definition cli.cpp:18