C++ (Cpp) yices_new_param_record Examples

Example #1

int main(void) {
  param_t *p1, *p2;

  yices_init();
  p1 = yices_new_param_record();
  printf("Allocated param record %p\n", p1);
  show_params(p1);

  p2 = yices_new_param_record();
  printf("Allocated param record %p\n", p2);
  show_params(p2);

  test_set_params(p2);

  yices_free_param_record(p2);
  yices_free_param_record(p1);

  yices_exit();

  return 0;
}

Example #2

File: contexts.c Project: polazarus/ocamlyices2

CAMLprim value ocamlyices_params_create(value unit) {
  CAMLparam1(unit);
  CAMLlocal1(v_res);

  param_t *res = yices_new_param_record();
  if (res == NULL) {
    _oy_error();
  }

  v_res = caml_alloc_params();
  Store_params_val(v_res, res);

  CAMLreturn(Val_int(v_res));
}