Searched defs:Cudd_IsConstant (Results 1 – 4 of 4) sorted by relevance
352 #define Cudd_IsConstant(node) ((Cudd_Regular(node))->index == CUDD_CONST_INDEX) macro
367 #define Cudd_IsConstant(node) ((Cudd_Regular(node))->index == CUDD_CONST_INDEX) macro
550 int Cudd_IsConstant(DdNode *node) in Cudd_IsConstant() function