Add getValue() for Rational and Integer (GMP and CLN). (#1309)

Returns a copy of d_value to enable public access of GMP and CLN data.

diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h
index 86cf649d04a7d2ac867000973732a1eba3946ce0..c2791af522f0c238b31b512b15e4fc45a851dfa1 100644 (file)
--- a/src/util/integer_cln_imp.h
+++ b/src/util/integer_cln_imp.h
@@ -102,6 +102,14 @@ public:
 
   ~Integer() {}
 
+  /**
+   * Returns a copy of d_value to enable public access of CLN data.
+   */
+  cln::cl_I getValue() const
+  {
+    return d_value;
+  }
+
   Integer& operator=(const Integer& x){
     if(this == &x) return *this;
     d_value = x.d_value;

diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h
index 0d0735127eb73c42b1fbf06eed0e59833071062d..5f676dbc5237c1e29e044452b090c6f7b159f09b 100644 (file)
--- a/src/util/integer_gmp_imp.h
+++ b/src/util/integer_gmp_imp.h
@@ -78,6 +78,14 @@ public:
 
   ~Integer() {}
 
+  /**
+   * Returns a copy of d_value to enable public access of GMP data.
+   */
+  mpz_class getValue() const
+  {
+    return d_value;
+  }
+
   Integer& operator=(const Integer& x){
     if(this == &x) return *this;
     d_value = x.d_value;

diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h
index 23b73321438a81779f792f4b4cade0b9427d066b..bdfff9875b45bf3f1a03905a4fa6536ec3970b37 100644 (file)
--- a/src/util/rational_cln_imp.h
+++ b/src/util/rational_cln_imp.h
@@ -176,6 +176,13 @@ public:
 
   ~Rational() {}
 
+  /**
+   * Returns a copy of d_value to enable public access of CLN data.
+   */
+  cln::cl_RA getValue() const
+  {
+    return d_value;
+  }
 
   /**
    * Returns the value of numerator of the Rational.

diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h
index e731f3c2f3e6eb497c6a279797e9d3374d6caf33..70146561d4eee1255997d1c08a68d51ca898a5e8 100644 (file)
--- a/src/util/rational_gmp_imp.h
+++ b/src/util/rational_gmp_imp.h
@@ -168,6 +168,14 @@ public:
   }
   ~Rational() {}
 
+  /**
+   * Returns a copy of d_value to enable public access of GMP data.
+   */
+  mpq_class getValue() const
+  {
+    return d_value;
+  }
+
   /**
    * Returns the value of numerator of the Rational.
    * Note that this makes a deep copy of the numerator.