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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h301 extern BDD bdd_fullsatone(BDD);
497 friend bdd bdd_fullsatone(const bdd &);
660 inline bdd bdd_fullsatone(const bdd &r) function
661 { return bdd_fullsatone(r.root); }
H A Dbddop.c2278 PROTO {* BDD bdd_fullsatone(BDD r) *}
2285 BDD bdd_fullsatone(BDD r) function
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c418 return mlbdd_make(bdd_fullsatone(Bdd_val(r)));

Completed in 41 milliseconds