Searched refs:initnodesize (Results 1 – 3 of 3) sorted by relevance
174 int bdd_init(int initnodesize, int cs) in bdd_init() argument181 bddnodesize = bdd_prime_gte(initnodesize); in bdd_init()
177 int bdd_init(int initnodesize, int cs) in bdd_init() argument184 bddnodesize = initnodesize; in bdd_init()