Searched defs:bddfalse (Results 1 – 9 of 9) sorted by relevance
69 #define bddfalse B_CST_MASK /* bddp of constant false (0) */ macro
76 const BDD bddfalse=0; /* The constant false bdd */ variable
557 #define bddfalse bddfalsepp macro
74 const BDD bddfalse=0; /* The constant false bdd */ variable
446 BUDDY_API_VAR const BDD bddfalse; variable720 #define bddfalse bddfalsepp macro
285 bddfalse = cvar.bddfalse variable