Searched defs:bitnum (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | cppext.cxx | 549 void bvec::set(int bitnum, const bdd &b) argument [all...] |
H A D | bvec.c | 46 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 D | bvec.h | 63 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