Searched defs:Cudd_Deref (Results 1 – 14 of 14) sorted by path
438 Cudd_Deref( in Cudd_Deref() function
160 #define Cudd_Deref pbori_Cudd_Deref macro
341 PBORI_PREFIX(Cudd_Deref)(prev); in cudd_generate_multiples() local369 PBORI_PREFIX(Cudd_Deref)(prev); in cudd_generate_divisors() local
145 void decRef() const { PBORI_ASSERT(isValid()); PBORI_PREFIX(Cudd_Deref)(pNode); } in decRef() local
571 PBORI_PREFIX(Cudd_Deref)(prev); in cudd_generate_multiples() local601 PBORI_PREFIX(Cudd_Deref)(prev); in cudd_generate_divisors() local717 PBORI_PREFIX(Cudd_Deref)(e); in pboriCuddZddUnionXor() local727 PBORI_PREFIX(Cudd_Deref)(e); in pboriCuddZddUnionXor() local744 PBORI_PREFIX(Cudd_Deref)(t); in pboriCuddZddUnionXor() local745 PBORI_PREFIX(Cudd_Deref)(e); in pboriCuddZddUnionXor() local
44 PBORI_PREFIX(Cudd_Deref)(node); in dec_ref() local
399 Cudd_Deref( in Cudd_Deref() function