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.

4 files changed, 31 insertions, 0 deletions

diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h
index 86cf649d0..c2791af52 100644
--- 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 0d0735127..5f676dbc5 100644
--- 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 23b733214..bdfff9875 100644
--- 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 e731f3c2f..70146561d 100644
--- a/src/util/rational_gmp_imp.h
+++ b/src/util/rational_gmp_imp.h
@@ -169,6 +169,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.
    */