diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2016-08-19 16:39:43 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-08-19 16:39:43 -0700 |
| commit | d28f9f38ead8ec010a38e021f92d5de95261afc9 (patch) | |
| tree | ca1cc88b87afc9bb40bf70cb88a3996646e2a5bc /src/util/integer_gmp_imp.h | |
| parent | 36cfaab5caa86773e47a8cca8f4d8c0d5edec99f (diff) | |
Added fitsSignedLong and fitsUnsignedLong
Diffstat (limited to 'src/util/integer_gmp_imp.h')
| -rw-r--r-- | src/util/integer_gmp_imp.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h index 0c5665e38..3a95c6b85 100644 --- a/src/util/integer_gmp_imp.h +++ b/src/util/integer_gmp_imp.h @@ -411,6 +411,10 @@ public: unsigned int getUnsignedInt() const; + bool fitsSignedLong() const; + + bool fitsUnsignedLong() const; + long getLong() const { long si = d_value.get_si(); // ensure there wasn't overflow |