src/sylvan_mtbdd.h
static inline int
mtbdd_hascomp(MTBDD dd)
{
    return (dd & mtbdd_complement) ? 1 : 0;
}
/**
 * Obtain the complement of the MTBDD.
 * This is only valid for Boolean MTBDDs or custom implementations that support it.
 */
Obtain the complement of the MTBDD.
This is only valid for Boolean MTBDDs or custom implementations that support it.
Obtain the complement of the MTBDD . This is only valid for Boolean MTBDDs or custom implementations that support it .
static inline int
mtbdd_hascomp(MTBDD dd)
{
    return (dd & mtbdd_complement) ? 1 : 0;
}
static inline int mtbdd_hascomp ( MTBDD dd ) { return ( dd & mtbdd_complement ) ? 1 : 0 ; }
Obtain the complement of the MTBDD.
Obtain the complement of the MTBDD .