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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c848 BVEC BVEC_val(value obj) { function
860 bvec_free(BVEC_val(obj));
904 return mlbdd_make_bvec(bvec_coerce(Int_val(bits), BVEC_val(v)));
910 return bvec_isconst(BVEC_val(v)) ? Val_true : Val_false;
916 if(bvec_isconst(BVEC_val(v))) {
917 return Val_int(bvec_val(BVEC_val(v)));
928 return mlbdd_make_bvec(bvec_add(BVEC_val(s1), BVEC_val(s2)));
934 return mlbdd_make_bvec(bvec_sub(BVEC_val(s1), BVEC_val(s
[all...]

Completed in 81 milliseconds