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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h303 extern double bdd_satcountset(BDD, BDD);
499 friend double bdd_satcountset(const bdd &, const bdd &);
666 inline double bdd_satcountset(const bdd &r, const bdd &varset) function
667 { return bdd_satcountset(r.root, varset.root); }
H A Dbddop.c2351 double bdd_satcountset(BDD r, BDD varset) *}
2374 double bdd_satcountset(BDD r, BDD varset) function

Completed in 93 milliseconds