From 74ee726e35890b13bdbfa21afdc34ba5bfa5c8fd Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 17 Jun 2016 09:28:17 +0200
Subject: [PATCH] fixed some typos
Former-commit-id: de3cd92c62eec914c3021e7e887abdae2994c98d
---
src/solver/GmmxxLinearEquationSolver.h | 2 +-
src/storage/dd/Add.cpp | 2 --
2 files changed, 1 insertion(+), 3 deletions(-)
diff --git a/src/solver/GmmxxLinearEquationSolver.h b/src/solver/GmmxxLinearEquationSolver.h
index a8a029728..a6c402f89 100644
--- a/src/solver/GmmxxLinearEquationSolver.h
+++ b/src/solver/GmmxxLinearEquationSolver.h
@@ -97,7 +97,7 @@ namespace storm {
// The preconditioner to use when solving the linear equation system.
Preconditioner preconditioner;
- // Sets whether the relative or absolute error is to be considered for convergence detection. Not that this
+ // Sets whether the relative or absolute error is to be considered for convergence detection. Note that this
// only applies to the Jacobi method for this solver.
bool relative;
diff --git a/src/storage/dd/Add.cpp b/src/storage/dd/Add.cpp
index 40223da75..bcff0e3da 100644
--- a/src/storage/dd/Add.cpp
+++ b/src/storage/dd/Add.cpp
@@ -112,7 +112,6 @@ namespace storm {
template<DdType LibraryType, typename ValueType>
Bdd<LibraryType> Add<LibraryType, ValueType>::greaterOrEqual(Add<LibraryType, ValueType> const& other) const {
return Bdd<LibraryType>(this->getDdManager(), internalAdd.greaterOrEqual(other), Dd<LibraryType>::joinMetaVariables(*this, other));
-
}
template<DdType LibraryType, typename ValueType>
@@ -129,7 +128,6 @@ namespace storm {
template<DdType LibraryType, typename ValueType>
Add<LibraryType, ValueType> Add<LibraryType, ValueType>::logxy(Add<LibraryType, ValueType> const& other) const {
return Add<LibraryType, ValueType>(this->getDdManager(), internalAdd.logxy(other), Dd<LibraryType>::joinMetaVariables(*this, other));
-
}
template<DdType LibraryType, typename ValueType>