Searched refs:bvec_equ (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bvec.h | 107 extern BDD bvec_equ(BVEC left, BVEC right);
174 friend bdd bvec_equ(const bvec &left, const bvec &right);
194 bdd operator==(const bvec &a) const { return bvec_equ(*this, a); }
271 inline bdd bvec_equ(const bvec &left, const bvec &right) function
272 { return bvec_equ(left.roots, right.roots); }
|
| H A D | bvec.c | 976 rEquN = bdd_addref( bvec_equ(r, val) );
1088 rEquN = bdd_addref( bvec_equ(r, val) );
1261 PROTO {* bdd bvec_equ(bvec l, bvec r) *}
1267 bdd bvec_equ(bvec l, bvec r) function
1307 BDD tmp = bdd_addref( bvec_equ(l,r) );
|
| H A D | bdd.h | 542 friend bdd bvec_equ(const bvec &left, const bvec &right);
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/ |
| H A D | bvec.sig | 93 equ bvec_equ
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 1029 return mlbdd_make(bvec_equ(BVEC_val(s1), BVEC_val(s2)));
|
Completed in 48 milliseconds