Searched refs:bdd_unmark (Results 1 – 15 of 15) sorted by relevance
339 bdd_unmark(r); in bdd_fprintdot()406 bdd_unmark(r); in bdd_save()414 bdd_unmark(r); in bdd_save()
1216 void bdd_unmark(int i) in bdd_unmark() function1229 bdd_unmark(LOWp(node)); in bdd_unmark()1230 bdd_unmark(HIGHp(node)); in bdd_unmark()
196 extern void bdd_unmark(int);
2098 bdd_unmark(r); in bdd_support()2639 bdd_unmark(r); in bdd_nodecount()2666 bdd_unmark(r[n]); in bdd_anodecount()2699 bdd_unmark(r); in bdd_varprofile()
271 bdd_unmark(r.root); in operator <<()
338 bdd_unmark(r); in bdd_fprintdot()405 bdd_unmark(r); in bdd_save()413 bdd_unmark(r); in bdd_save()
1319 void bdd_unmark(int i) in bdd_unmark() function1332 bdd_unmark(LOWp(node)); in bdd_unmark()1333 bdd_unmark(HIGHp(node)); in bdd_unmark()
274 extern void bdd_unmark(int);
245 bdd_unmark(r.root); in operator <<()
2808 bdd_unmark(r); in bdd_support()3613 bdd_unmark(r); in bdd_nodecount()3640 bdd_unmark(r[n]); in bdd_anodecount()3673 bdd_unmark(r); in bdd_varprofile()