C++ (Cpp) vc_bvMinusExpr Examples

Example #1

File: c_interface.cpp Project: columbia/woodpecker

Expr vc_bv32MinusExpr(VC vc, Expr left, Expr right) {
  return vc_bvMinusExpr(vc, 32, left, right);
}

Example #2

File: cvcl_ocaml_wrappers.c Project: spl/ivy

value caml_vc_bvMinusExpr(value vc, value bits, value e1, value e2)
{
  CAMLparam4(vc,bits,e1,e2);
  CAMLreturn(alloc_Expr(vc_bvMinusExpr(VC_val(vc),Int_val(bits),
				      Expr_val(e1),Expr_val(e2))));
}