Ejemplos de vc_printExprFile en C++ (Cpp)

Ejemplo n.º 1

Archivo: main.c Proyecto: 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");
}

Ejemplo n.º 2

Archivo: cvcl_ocaml_wrappers.c Proyecto: 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);
}