Searched refs:bdd_or (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bvec.c | 985 tmp2 = bdd_addref( bdd_or(res.bitvec[m], tmp1) );
1004 tmp2 = bdd_addref( bdd_or(res.bitvec[m], tmp1) );
1097 tmp2 = bdd_addref( bdd_or(res.bitvec[m], tmp1) );
1116 tmp2 = bdd_addref( bdd_or(res.bitvec[m], tmp1) );
|
| H A D | bdd.h | 281 extern BDD bdd_or(BDD, BDD);
478 friend bdd bdd_or(const bdd &, const bdd &);
618 inline bdd bdd_or(const bdd &l, const bdd &r) function
|
| H A D | bvec.h | 180 bvec operator|(const bvec &a) const { return bvec_map2(*this, a, bdd_or); }
|
| H A D | bddop.c | 656 PROTO {* BDD bdd_or(BDD l, BDD r) *}
661 BDD bdd_or(BDD l, BDD r) function
|
Completed in 41 milliseconds