Searched refs:bddresized (Results 1 – 9 of 9) sorted by relevance
103 int bddresized; /* Flag indicating a resize of the nodetable */ variable186 bddresized = 0; in bdd_init()1392 bddresized = 1; in bdd_noderesize()
109 extern int bddresized;
301 if (bddresized) in checkresize()303 bddresized = 0; in checkresize()
102 int bddresized; /* Flag indicating a resize of the nodetable */ variable196 bddresized = 0; in bdd_init()1513 bddresized = 1; in bdd_noderesize()
134 extern int bddresized;
334 if (bddresized) in checkresize()336 bddresized = 0; in checkresize()