Searched refs:bdd_reorder (Results 1 – 16 of 16) sorted by relevance
129 bdd_reorder(method); in main()
133 bdd_reorder(method); in main()
51 bdd_reorder(BDD_REORDER_SIFT); in size()
176 T_reorder method { bdd_reorder($2.ival); }
1487 { bdd_reorder(yyvsp[0].ival); } in yyparse()
174 T_reorder method { bdd_reorder($2.ival); }
1279 { bdd_reorder(yyvsp[0].ival); }
1635 bdd_reorder(bddreordermethod); in bdd_reorder_auto()1801 void bdd_reorder(int method) in bdd_reorder() function
334 extern void bdd_reorder(int);
1634 bdd_reorder(bddreordermethod); in bdd_reorder_auto()1800 void bdd_reorder(int method) in bdd_reorder() function
416 BUDDY_API void bdd_reorder(int);