Searched defs:bdd_init (Results 1 – 8 of 8) sorted by relevance
174 int bdd_init(int initnodesize, int cs) in bdd_init() function
731 #define bdd_init bdd_cpp_init macro
177 int bdd_init(int initnodesize, int cs) in bdd_init() function
958 #define bdd_init bdd_cpp_init macro
108 bdd_init = _buddy.bdd_init variable