Searched defs:cuddDeref (Results 1 – 4 of 4) sorted by last modified time
601 #define cuddDeref(n) cuddSatDec(Cudd_Regular(n)->ref) macro
604 #define cuddDeref(n) cuddSatDec(Cudd_Regular(n)->ref) macro
680 #define cuddDeref(n) cuddSatDec(Cudd_Regular(n)->ref) macro