diff --git a/src/storage/SparseMatrix.h b/src/storage/SparseMatrix.h index 23e17bbe5..057955b70 100644 --- a/src/storage/SparseMatrix.h +++ b/src/storage/SparseMatrix.h @@ -256,6 +256,18 @@ public: rowIndications(other.rowIndications), internalStatus(other.internalStatus), currentSize(other.currentSize), lastRow(other.lastRow) { } + + /*! + * Copy Assignment Constructor. + * + * @param other The Matrix from which to copy the content + */ + storm::storage::SparseMatrix& operator=(const SparseMatrix & other) + : rowCount(other.rowCount), colCount(other.colCount), nonZeroEntryCount(other.nonZeroEntryCount), + valueStorage(other.valueStorage), columnIndications(other.columnIndications), + rowIndications(other.rowIndications), internalStatus(other.internalStatus), + currentSize(other.currentSize), lastRow(other.lastRow) { + } /*! * Constructs a sparse matrix object with the given (moved) contents.