From b2cd3588ef78e1e098a2274d12c3f0e055b7062f Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 7 Jul 2018 20:26:51 +0100 Subject: [PATCH] Cleanup of float_bvt There is no intend for it to be inherited from, thus make members private. --- src/solvers/floatbv/float_bv.h | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) diff --git a/src/solvers/floatbv/float_bv.h b/src/solvers/floatbv/float_bv.h index 0beb935013b..0fa36ef127f 100644 --- a/src/solvers/floatbv/float_bv.h +++ b/src/solvers/floatbv/float_bv.h @@ -18,14 +18,6 @@ Author: Daniel Kroening, kroening@kroening.com class float_bvt { public: - float_bvt() - { - } - - ~float_bvt() - { - } - exprt operator()(const exprt &src) { return convert(src); @@ -101,7 +93,7 @@ class float_bvt const exprt &, const ieee_float_spect &); -protected: +private: // helpers ieee_float_spect get_spec(const exprt &); // still biased @@ -116,7 +108,6 @@ class float_bvt struct rounding_mode_bitst { - public: // these are mutually exclusive, obviously exprt round_to_even; exprt round_to_zero; @@ -168,7 +159,7 @@ class float_bvt biased_floatt bias(const unbiased_floatt &, const ieee_float_spect &); // this takes unpacked format, and returns packed - virtual exprt rounder( + exprt rounder( const unbiased_floatt &, const exprt &rm, const ieee_float_spect &);