C++ (Cpp) yices_free_param_record Examples

Example #1

File: contexts.c Project: polazarus/ocamlyices2

static void _oy_params_finalize(value v_params) {
  param_t *params = Params_val(v_params);
  DEBUG_PRINT("finalize params at %p\n", params);
  if (params != 0) {
    Store_params_val(params, NULL);
    yices_free_param_record(params);
  }
}

Example #2

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;
}