Last change
on this file since 66 was
29,
checked in by cecile, 13 years ago
|
shared missing for sharpSAT
|
File size:
774 bytes
|
Rev | Line | |
---|
[29] | 1 | #ifndef REALNUMBERTYPES_H |
---|
| 2 | #define REALNUMBERTYPES_H |
---|
| 3 | |
---|
| 4 | |
---|
| 5 | |
---|
| 6 | using namespace std; |
---|
| 7 | |
---|
| 8 | #ifdef GMP_BIGNUM |
---|
| 9 | #include <gmpxx.h> |
---|
| 10 | typedef mpf_class CRealNum; |
---|
| 11 | extern bool pow(mpf_class &res, const mpf_class &base, unsigned long int iExp); |
---|
| 12 | extern bool pow2(mpf_class &res, unsigned long int iExp); |
---|
| 13 | extern bool to_div_2exp(mpf_class &res, const mpf_class &op1, unsigned long int iExp); |
---|
| 14 | extern double to_doubleT(const mpf_class &num); |
---|
| 15 | |
---|
| 16 | |
---|
| 17 | |
---|
| 18 | #else |
---|
| 19 | typedef long double CRealNum; |
---|
| 20 | |
---|
| 21 | extern bool pow(CRealNum &res, CRealNum base, unsigned long int iExp); |
---|
| 22 | extern bool pow2(CRealNum &res, unsigned long int iExp); |
---|
| 23 | extern bool to_div_2exp(CRealNum &res, const CRealNum &op1, unsigned long int iExp); |
---|
| 24 | extern long double to_doubleT(const CRealNum &num); |
---|
| 25 | #endif |
---|
| 26 | |
---|
| 27 | #endif |
---|
Note: See
TracBrowser
for help on using the repository browser.