Searched refs:bvec_add (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bvec.h | 93 extern BVEC bvec_add(BVEC left, BVEC right);
160 friend bvec bvec_add(const bvec &left, const bvec &right);
186 bvec operator+(const bvec &a) const { return bvec_add(*this, a); }
229 inline bvec bvec_add(const bvec &left, const bvec &right) function
230 { return bvec_add(left.roots, right.roots); }
|
| H A D | bvec.c | 505 PROTO {* bvec bvec_add(bvec l, bvec r) *}
518 bvec bvec_add(bvec l, bvec r) function
675 res = bvec_add(e, rest);
720 bvec added = bvec_add(res, leftshift);
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/ |
| H A D | bvec.sig | 81 add bvec_add
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 928 return mlbdd_make_bvec(bvec_add(BVEC_val(s1), BVEC_val(s2)));
|
Completed in 42 milliseconds