diff --git a/src/storage/SparseMatrix.cpp b/src/storage/SparseMatrix.cpp index 65f74d874..d41e2ef2c 100644 --- a/src/storage/SparseMatrix.cpp +++ b/src/storage/SparseMatrix.cpp @@ -1257,6 +1257,15 @@ namespace storm { template bool SparseMatrix<int>::isSubmatrixOf(SparseMatrix<storm::storage::sparse::state_type> const& matrix) const; #ifdef STORM_HAVE_CARL + // Rat Function + template class MatrixEntry<typename SparseMatrix<CarlRationalNumber>::index_type, CarlRationalNumber>; + template std::ostream& operator<<(std::ostream& out, MatrixEntry<uint_fast64_t, CarlRationalNumber> const& entry); + template class SparseMatrixBuilder<CarlRationalNumber>; + template class SparseMatrix<CarlRationalNumber>; + template std::ostream& operator<<(std::ostream& out, SparseMatrix<CarlRationalNumber> const& matrix); + template std::vector<storm::CarlRationalNumber> SparseMatrix<CarlRationalNumber>::getPointwiseProductRowSumVector(storm::storage::SparseMatrix<storm::CarlRationalNumber> const& otherMatrix) const; + template bool SparseMatrix<storm::CarlRationalNumber>::isSubmatrixOf(SparseMatrix<storm::CarlRationalNumber> const& matrix) const; + // Rat Function template class MatrixEntry<typename SparseMatrix<RationalFunction>::index_type, RationalFunction>; template std::ostream& operator<<(std::ostream& out, MatrixEntry<uint_fast64_t, RationalFunction> const& entry);