diff options
Diffstat (limited to 'src/util/rational_gmp_imp.h')
| -rw-r--r-- | src/util/rational_gmp_imp.h | 8 |
1 files changed, 8 insertions, 0 deletions
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. */ |