Searched refs:bvec_map3 (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/ |
| H A D | bvec.sig | 80 ? bvec_map3
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bvec.h | 92 extern BVEC bvec_map3(BVEC a, BVEC b, BVEC c, BDD (*fun)(BDD,BDD,BDD));
158 friend bvec bvec_map3(const bvec &a, const bvec &b, const bvec &c,
|
| H A D | cppext.cxx | 593 bvec bvec_map3(const bvec &a, const bvec &b, const bvec &c, function
|
| H A D | bvec.c | 466 PROTO {* bvec bvec_map3(bvec a, bvec b, bvec c, bdd (*fun)(bdd,bdd,bdd)) *}
479 bvec bvec_map3(bvec a, bvec b, bvec c, BDD (*fun)(BDD,BDD,BDD)) function
|
Completed in 72 milliseconds