source: vis_dev/sharpSAT/src/shared/RealNumberTypes.h @ 40

Last change on this file since 40 was 29, checked in by cecile, 13 years ago

shared missing for sharpSAT
File size: 774 bytes
Line 
1#ifndef REALNUMBERTYPES_H
2#define REALNUMBERTYPES_H
3
4
5
6using 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.