Searched refs:bdd_xor (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h282 extern BDD bdd_xor(BDD, BDD);
479 friend bdd bdd_xor(const bdd &, const bdd &);
621 inline bdd bdd_xor(const bdd &l, const bdd &r) function
H A Dbvec.h179 bvec operator^(const bvec &a) const { return bvec_map2(*this, a, bdd_xor); }
H A Dbddop.c671 PROTO {* BDD bdd_xor(BDD l, BDD r) *}
676 BDD bdd_xor(BDD l, BDD r) function

Completed in 35 milliseconds