Searched defs:bdd_replace (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DbddTools.sml98 fun bdd_replace vm b subs = function
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c1112 BDD bdd_replace(BDD r, bddPair *pair) function
H A Dbdd.h588 inline bdd bdd_replace(const bdd &r, bddPair *p) function

Completed in 93 milliseconds