From 3cd1edb37822f2c1fc1a8006c2b5f59b0d75b545 Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 14 Mar 2018 17:34:27 +0100 Subject: [PATCH] added virtual destructors to multipliers --- src/storm/solver/GmmxxMultiplier.h | 1 + src/storm/solver/Multiplier.h | 2 ++ src/storm/solver/NativeMultiplier.h | 1 + 3 files changed, 4 insertions(+) diff --git a/src/storm/solver/GmmxxMultiplier.h b/src/storm/solver/GmmxxMultiplier.h index 87bee797e..fdebd557d 100644 --- a/src/storm/solver/GmmxxMultiplier.h +++ b/src/storm/solver/GmmxxMultiplier.h @@ -19,6 +19,7 @@ namespace storm { class GmmxxMultiplier : public Multiplier { public: GmmxxMultiplier(storm::storage::SparseMatrix const& matrix); + virtual ~GmmxxMultiplier() = default; virtual void multiply(Environment const& env, std::vector const& x, std::vector const* b, std::vector& result) const override; virtual void multiplyGaussSeidel(Environment const& env, std::vector& x, std::vector const* b) const override; diff --git a/src/storm/solver/Multiplier.h b/src/storm/solver/Multiplier.h index 77dc831c3..a94934ae0 100644 --- a/src/storm/solver/Multiplier.h +++ b/src/storm/solver/Multiplier.h @@ -23,6 +23,8 @@ namespace storm { Multiplier(storm::storage::SparseMatrix const& matrix); + virtual ~Multiplier() = default; + /* * Clears the currently cached data of this multiplier in order to free some memory. */ diff --git a/src/storm/solver/NativeMultiplier.h b/src/storm/solver/NativeMultiplier.h index 90b0f1454..3d9e31a02 100644 --- a/src/storm/solver/NativeMultiplier.h +++ b/src/storm/solver/NativeMultiplier.h @@ -16,6 +16,7 @@ namespace storm { class NativeMultiplier : public Multiplier { public: NativeMultiplier(storm::storage::SparseMatrix const& matrix); + virtual ~NativeMultiplier() = default; virtual void multiply(Environment const& env, std::vector const& x, std::vector const* b, std::vector& result) const override; virtual void multiplyGaussSeidel(Environment const& env, std::vector& x, std::vector const* b) const override;