Searched refs:bvec_mul (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbvec.h96 extern BVEC bvec_mul(BVEC left, BVEC right);
163 friend bvec bvec_mul(const bvec &left, const bvec &right);
189 bvec operator*(const bvec a) const { return bvec_mul(*this, a); }
238 inline bvec bvec_mul(const bvec &left, const bvec &right) function
239 { return bvec_mul(left.roots, right.roots); }
H A Dbvec.c691 PROTO {* bvec bvec_mul(bvec l, bvec r) *}
697 bvec bvec_mul(bvec left, bvec right) function
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbvec.sig83 mul bvec_mul
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c946 return mlbdd_make_bvec(bvec_mul(BVEC_val(s1), BVEC_val(s2)));

Completed in 89 milliseconds