Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SparseMatrixOperations.h
Go to the documentation of this file.
1#pragma once
2#include <set>
3#include "storm/adapters/RationalFunctionAdapter.h"
4#include "storm/storage/SparseMatrix.h"
5
6namespace storm::storage {
7#ifdef STORM_HAVE_CARL
8std::set<storm::RationalFunctionVariable> getVariables(SparseMatrix<storm::RationalFunction> const& matrix);
9#endif
10} // namespace storm::storage
storm::utility::vector::getVariables
std::set< storm::RationalFunctionVariable > getVariables(std::vector< storm::RationalFunction > const &vector)
Definition rationalfunction.h:5