src/sylvan_ldd.c
static size_t
lddmc_nodecount_mark(MDD mdd)
{
    if (mdd <= lddmc_true) return 0;
    mddnode_t n = LDD_GETNODE(mdd);
    if (mddnode_getmark(n)) return 0;
    mddnode_setmark(n, 1);
    return 1 + lddmc_nodecount_mark(mddnode_getdown(n)) + lddmc_nodecount_mark(mddnode_getright(n));
}
/**
 * Count number of nodes in MDD
 */
Count number of nodes in MDD
Count number of nodes in MDD
static size_t
lddmc_nodecount_mark(MDD mdd)
{
    if (mdd <= lddmc_true) return 0;
    mddnode_t n = LDD_GETNODE(mdd);
    if (mddnode_getmark(n)) return 0;
    mddnode_setmark(n, 1);
    return 1 + lddmc_nodecount_mark(mddnode_getdown(n)) + lddmc_nodecount_mark(mddnode_getright(n));
}
static size_t lddmc_nodecount_mark ( MDD mdd ) { if ( mdd <= lddmc_true ) return 0 ; mddnode_t n = LDD_GETNODE ( mdd ) ; if ( mddnode_getmark ( n ) ) return 0 ; mddnode_setmark ( n , 1 ) ; return 1 + lddmc_nodecount_mark ( mddnode_getdown ( n ) ) + lddmc_nodecount_mark ( mddnode_getright ( n ) ) ; }
Count number of nodes in MDD
Count number of nodes in MDD