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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c182 EXTERNML value mlbdd_make(BDD root) function
201 return mlbdd_make(bdd_ithvar(Int_val(i)));
207 return mlbdd_make(bdd_nithvar(Int_val(i)));
213 return mlbdd_make(Bool_val(b) ? bddtrue : bddfalse);
238 return mlbdd_make(bdd_low(Bdd_val(r)));
244 return mlbdd_make(bdd_high(Bdd_val(r)));
278 return mlbdd_make(bdd_apply(Bdd_val(left),Bdd_val(right),
285 return mlbdd_make(bdd_not(Bdd_val(r)));
291 return mlbdd_make(bdd_ite(Bdd_val(x), Bdd_val(y), Bdd_val(z)));
304 return mlbdd_make(bdd_restric
[all...]

Completed in 25 milliseconds