Searched refs:BDD_REORDER_SIFTITE (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dadder.cxx85 method = BDD_REORDER_SIFTITE;
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dparser.y182 | T_siftite { $$.ival = BDD_REORDER_SIFTITE; }
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h374 #define BDD_REORDER_SIFTITE 4 macro
H A Dreorder.c1741 case BDD_REORDER_SIFTITE:
/seL4-l4v-master/HOL4/examples/muddy/muddyC/
H A Dmuddy.c267 Field(res, 15) = Val_long(BDD_REORDER_SIFTITE);

Completed in 98 milliseconds