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>