src/sylvan_mtbdd.h
static inline MTBDD
mtbdd_set_empty()
{
    return mtbdd_true;
}
/**
 * Functions to manipulate sets of MTBDD variables.
 *
 * A set of variables is represented by a cube/conjunction of (positive) variables.
 */
Functions to manipulate sets of MTBDD variables.
A set of variables is represented by a cube/conjunction of (positive) variables.
Functions to manipulate sets of MTBDD variables . A set of variables is represented by a cube / conjunction of ( positive ) variables .
static inline MTBDD
mtbdd_set_empty()
{
    return mtbdd_true;
}
static inline MTBDD mtbdd_set_empty ( ) { return mtbdd_true ; }
Functions to manipulate sets of MTBDD variables.
Functions to manipulate sets of MTBDD variables .