From 0051aec174ba8957f43f25a73af68e5e1da9f0d4 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 13 Jun 2013 15:35:26 +0200
Subject: [PATCH] Added an assignment constructor to the SparseMatrix.h

Former-commit-id: 8de6a611902d35fb407eeab7584b9bf319da137d
---
 src/storage/SparseMatrix.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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<T>& 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.