diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-11-06 03:22:44 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-06 03:22:44 -0800 |
| commit | d1467e740c17fe500bd598375165c2018305e0b3 (patch) | |
| tree | 2ff44662c0af672a65970446bf6e011cd62777db /src/util/rational_gmp_imp.h | |
| parent | d72fcccb19e43d0140b8a6ac954c2858dd3a239a (diff) | |
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.
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. */ |