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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dcppext.cxx549 void bvec::set(int bitnum, const bdd &b) argument
[all...]
H A Dbvec.c46 static bvec bvec_build(int bitnum, int isTrue) argument
124 bvec_true(int bitnum) argument
140 bvec_false(int bitnum) argument
157 bvec_con(int bitnum, int val) argument
188 bvec_var(int bitnum, int offset, int step) argument
245 bvec_varvec(int bitnum, int *var) argument
271 bvec_coerce(int bitnum, bvec v) argument
700 int bitnum = left.bitnum + right.bitnum; local
846 int bitnum = left.bitnum + right.bitnum; local
[all...]
H A Dbvec.h63 int bitnum; member in struct:s_bvec
128 bvec(int bitnum) argument
129 bvec(int bitnum, int val) argument
135 int bitnum(void) const { return roots.bitnum; } function in class:bvec
199 bvec_truepp(int bitnum) argument
202 bvec_falsepp(int bitnum) argument
205 bvec_conpp(int bitnum, int val) argument
208 bvec_varpp(int bitnum, int offset, int step) argument
214 bvec_varvecpp(int bitnum, int *var) argument
217 bvec_coerce(int bitnum, const bvec &v) argument
[all...]

Completed in 80 milliseconds