C++ (Cpp) vc_printExprFile示例

示例#1

文件： main.c 项目： clconway/cvc3-debian

// Make a new assertion
void newAssertion(VC vc, Expr e)
{
  // Testing printing to file descriptor.  Turns out, we need to flush
  // the file in C before printing through C++ (they apparently use
  // different buffers, and text may come out of order).
  printf("Assert: "); fflush(stdout);
  vc_printExprFile(vc, e, 1);
  vc_assertFormula(vc, e);
  check_error("Error occured during assertion");
}

示例#2

文件： cvcl_ocaml_wrappers.c 项目： spl/ivy

value caml_vc_printExprFile(value vc, value e, value fd)
{
  CAMLparam3(vc,e,fd);
  vc_printExprFile(VC_val(vc),Expr_val(e),Int_val(fd));
  CAMLreturn(Val_unit);
}