src/sylvan_mtbdd.h
static inline int32_t
mtbdd_getnumer(MTBDD terminal)
{
    return (int32_t)(mtbdd_getvalue(terminal)>>32);
}
/**
 * Obtain the numerator of a Fraction leaf.
 */
Obtain the numerator of a Fraction leaf.
Obtain the numerator of a Fraction leaf .
static inline int32_t
mtbdd_getnumer(MTBDD terminal)
{
    return (int32_t)(mtbdd_getvalue(terminal)>>32);
}
static inline int32_t mtbdd_getnumer ( MTBDD terminal ) { return ( int32_t ) ( mtbdd_getvalue ( terminal ) >> 32 ) ; }
Obtain the numerator of a Fraction leaf.
Obtain the numerator of a Fraction leaf .