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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmilner.c136 tmp1 = bdd_addref( bdd_not(h[0]) );
141 tmp1 = bdd_addref( bdd_not(t[0]) );
152 tmp1 = bdd_addref( bdd_not(c[i]) );
153 tmp2 = bdd_addref( bdd_not(h[i]) );
159 tmp1 = bdd_addref( bdd_not(t[i]) );
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h278 extern BDD bdd_not(BDD);
474 friend bdd bdd_not(const bdd &);
609 inline bdd bdd_not(const bdd &r) function
610 { return bdd_not(r.root); }
755 { return bdd_not(*this);}
H A Dbvec.c1232 BDD p = bdd_not(tmp);
1251 BDD p = bdd_not(tmp);
1308 BDD p = bdd_not(tmp);
H A Dbvec.h181 bvec operator!(void) const { return bvec_map1(*this, bdd_not); }
H A Dbddop.c339 v = bdd_addref( bdd_not(variables[width-z-1]) );
385 PROTO {* BDD bdd_not(BDD r) *}
391 BDD bdd_not(BDD r) function
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dparser.y318 res->bval = new bdd( bdd_not(*right->bval) );
/seL4-l4v-master/HOL4/examples/muddy/muddyC/
H A Dmuddy.c285 return mlbdd_make(bdd_not(Bdd_val(r)));

Completed in 51 milliseconds