Lines Matching refs:bddvarnum
96 int bddvarnum; /* Number of defined BDD variables */ variable
228 bddvarnum = 0; in bdd_init()
293 bddvarnum = 0; in bdd_done()
317 int oldbddvarnum = bddvarnum; in bdd_setvarnum()
327 if (num < bddvarnum) in bdd_setvarnum()
330 if (num == bddvarnum) in bdd_setvarnum()
386 for(bdv=bddvarnum ; bddvarnum < num; bddvarnum++) in bdd_setvarnum()
388 bddvarset[bddvarnum*2] = PUSHREF( bdd_makenode(bddvarnum, 0, 1) ); in bdd_setvarnum()
389 bddvarset[bddvarnum*2+1] = bdd_makenode(bddvarnum, 1, 0); in bdd_setvarnum()
394 bddvarnum = bdv; in bdd_setvarnum()
398 bddnodes[bddvarset[bddvarnum*2]].refcou = MAXREF; in bdd_setvarnum()
399 bddnodes[bddvarset[bddvarnum*2+1]].refcou = MAXREF; in bdd_setvarnum()
400 bddlevel2var[bddvarnum] = bddvarnum; in bdd_setvarnum()
401 bddvar2level[bddvarnum] = bddvarnum; in bdd_setvarnum()
409 bdd_pairs_resize(oldbddvarnum, bddvarnum); in bdd_setvarnum()
430 int start = bddvarnum; in bdd_extvarnum()
435 bdd_setvarnum(bddvarnum+num); in bdd_extvarnum()
748 s->varnum = bddvarnum; in bdd_stats()
916 if (var < 0 || var >= bddvarnum) in bdd_ithvar()
944 if (var < 0 || var >= bddvarnum) in bdd_nithvar()
967 return bddvarnum; in bdd_varnum()