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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.c407 tmp = bdd_apply(bdd_nithvar(domain[var].ivar[n]), v, bddop_and);
580 tmp = bdd_apply( bdd_nithvar(dom->ivar[n]), d, bddop_or );
582 tmp = bdd_apply( bdd_nithvar(dom->ivar[n]), d, bddop_and );
H A Dbdd.h255 extern BDD bdd_nithvar(int);
566 { return bdd_nithvar(v); }
726 #define bdd_nithvar bdd_nithvarpp macro
H A Dkernel.c890 PROTO {* BDD bdd_nithvar(int var) *}
900 BDD bdd_nithvar(int var) function
H A Dbddop.c366 v = bdd_nithvar(variables[width-z-1]);
888 bdd R2 = bdd_nithvar(3);
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c207 return mlbdd_make(bdd_nithvar(Int_val(i)));

Completed in 43 milliseconds