Module cudd_sys::epd

Contains the declarations present in epd.h (extended double precision numbers).

Functions

EpdAdd^⚠

EpdAdd2^⚠

EpdAdd3^⚠

EpdAlloc^⚠

EpdCmp^⚠

EpdConvert^⚠

EpdCopy^⚠

EpdDivide^⚠

EpdDivide2^⚠

EpdDivide3^⚠

EpdFree^⚠

EpdGetExponent^⚠

EpdGetExponentDecimal^⚠

EpdGetString^⚠

EpdGetValueAndDecimalExponent^⚠

EpdIsInf^⚠

EpdIsNan^⚠

EpdIsNanOrInf^⚠

EpdIsZero^⚠

EpdMakeInf^⚠

EpdMakeNan^⚠

EpdMakeZero^⚠

EpdMultiply^⚠

EpdMultiply2^⚠

EpdMultiply2Decimal^⚠

EpdMultiply3^⚠

EpdMultiply3Decimal^⚠

EpdNormalize^⚠

EpdNormalizeDecimal^⚠

EpdPow2^⚠

EpdPow2Decimal^⚠

EpdSubtract^⚠

EpdSubtract2^⚠

EpdSubtract3^⚠

IsInfDouble^⚠

IsNanDouble^⚠

IsNanOrInfDouble^⚠