added Matrix::getRowSum()

... and using it in the DTMC check

src/models/Dtmc.h

@@ -176,10 +176,7 @@ private:
 	 */
 	bool checkValidityProbabilityMatrix() {
 		for (uint_fast64_t row = 0; row < this->probabilityMatrix->getRowCount(); row++) {
-			T sum = this->probabilityMatrix->getDiagonalStoragePointer()[row];
-			for (auto it = this->probabilityMatrix->beginConstNoDiagIterator(row); it != this->probabilityMatrix->endConstNoDiagIterator(row); it++) {
-				sum += *it;
-			}
+			T sum = this->probabilityMatrix->getRowSum(row);
 			if (sum == 0) continue;
 			if (std::abs(sum - 1) > 1e-10) return false;
 		}

src/storage/SquareSparseMatrix.h

@@ -955,6 +955,22 @@ public:
 		return this->valueStorage + this->rowIndications[row + 1];
 	}
 	
+	/*!
+	 *	@brief Calculate sum of all entries in given row.
+	 *
+	 *	Adds up all values in the given row (including the diagonal value)
+	 *	and returns the sum.
+	 *	@param row The row that should be added up.
+	 *	@return Sum of the row.
+	 */
+	T getRowSum(uint_fast64_t row) const {
+		T sum = this->diagonalStorage[row];
+		for (auto it = this->beginConstNoDiagIterator(row); it != this->endConstNoDiagIterator(row); it++) {
+			sum += *it;
+		}
+		return sum;
+	}
+
 	void print() const {
 		std::cout << "diag: --------------------------------" << std::endl;
 		for (uint_fast64_t i = 0; i < rowCount; ++i) {