Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SparseMatrixOperations.h
Go to the documentation of this file.
1#pragma once
2
3#include <set>
4
5#include "storm/adapters/RationalFunctionForward.h"
6#include "storm/storage/SparseMatrix.h"
7
8namespace storm::storage {
9std::set<storm::RationalFunctionVariable> getVariables(SparseMatrix<storm::RationalFunction> const& matrix);
10} // namespace storm::storage
storm::storage::SparseMatrix
A class that holds a possibly non-square matrix in the compressed row storage format.
Definition SparseMatrix.h:328
storm::storage::getVariables
std::set< storm::RationalFunctionVariable > getVariables(SparseMatrix< storm::RationalFunction > const &matrix)