Searched refs:bdd_constrain (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h287 extern BDD bdd_constrain(BDD, BDD);
484 friend bdd bdd_constrain(const bdd &, const bdd &);
600 inline bdd bdd_constrain(const bdd &f, const bdd &c) function
601 { return bdd_constrain(f.root, c.root); }
H A Dbddop.c985 PROTO {* BDD bdd_constrain(BDD f, BDD c) *}
991 BDD bdd_constrain(BDD f, BDD c) function

Completed in 35 milliseconds