51#ifndef ABC__bdd__epd__epd_h
52#define ABC__bdd__epd__epd_h
60#define EPD_MAX_BIN 1023
61#define EPD_MAX_DEC 308
62#define EPD_EXP_INF 0x7ff
104 unsigned int sign: 1;
155extern int EpdCmp(
const char *key1,
const char *key2);
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
ABC_NAMESPACE_IMPL_START typedef signed char value
void EpdAdd2(EpDouble *epd1, EpDouble *epd2)
int EpdIsZero(EpDouble *epd)
int EpdGetExponentDecimal(double value)
int IsNanDouble(double value)
void EpdDivide2(EpDouble *epd1, EpDouble *epd2)
void EpdDivide3(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3)
int EpdIsNan(EpDouble *epd)
struct IeeeDoubleStruct IeeeDouble
void EpdNormalizeDecimal(EpDouble *epd)
EpDouble * EpdAlloc(void)
void EpdMultiply3(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3)
void EpdGetValueAndDecimalExponent(EpDouble *epd, double *value, int *exponent)
int EpdIsInf(EpDouble *epd)
struct IeeeNanStruct IeeeNan
struct EpDoubleStruct EpDouble
int EpdIsNanOrInf(EpDouble *epd)
void EpdSubtract(EpDouble *epd1, double value)
void EpdSubtract2(EpDouble *epd1, EpDouble *epd2)
void EpdSubtract3(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3)
void EpdGetString(EpDouble *epd, char *str)
void EpdPow2Decimal(int n, EpDouble *epd)
void EpdMultiply3Decimal(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3)
int IsNanOrInfDouble(double value)
void EpdMakeNan(EpDouble *epd)
void EpdMakeZero(EpDouble *epd, int sign)
void EpdPow2(int n, EpDouble *epd)
void EpdMultiply2(EpDouble *epd1, EpDouble *epd2)
void EpdFree(EpDouble *epd)
void EpdCopy(EpDouble *from, EpDouble *to)
void EpdConvert(double value, EpDouble *epd)
void EpdNormalize(EpDouble *epd)
void EpdMakeInf(EpDouble *epd, int sign)
void EpdAdd(EpDouble *epd1, double value)
void EpdMultiply(EpDouble *epd1, double value)
int IsInfDouble(double value)
void EpdDivide(EpDouble *epd1, double value)
int EpdCmp(const char *key1, const char *key2)
void EpdMultiply2Decimal(EpDouble *epd1, EpDouble *epd2)
void EpdAdd3(EpDouble *epd1, EpDouble *epd2, EpDouble *epd3)
int EpdGetExponent(double value)
struct IeeeDoubleStruct bits