Searched defs:bdd_setvarnum (Results 1 – 5 of 5) sorted by relevance
294 int bdd_setvarnum(int num) in bdd_setvarnum() function
314 int bdd_setvarnum(int num) in bdd_setvarnum() function
110 bdd_setvarnum = _buddy.bdd_setvarnum variable