src/sylvan_mtbdd.h
static inline uint32_t
mtbdd_getdenom(MTBDD terminal)
{
    return (uint32_t)(mtbdd_getvalue(terminal)&0xffffffff);
}
/**
 * Obtain the denominator of a Fraction leaf.
 */
Obtain the denominator of a Fraction leaf.
Obtain the denominator of a Fraction leaf .
static inline uint32_t
mtbdd_getdenom(MTBDD terminal)
{
    return (uint32_t)(mtbdd_getvalue(terminal)&0xffffffff);
}
static inline uint32_t mtbdd_getdenom ( MTBDD terminal ) { return ( uint32_t ) ( mtbdd_getvalue ( terminal ) & 0xffffffff ) ; }
Obtain the denominator of a Fraction leaf.
Obtain the denominator of a Fraction leaf .