C++ (Cpp) ap_manager_copy示例

示例#1

文件： opt_oct_representation.c 项目： caballa/ELINA

ap_abstract0_t* abstract0_of_opt_oct(ap_manager_t* man, opt_oct_t* oct)
{
    ap_abstract0_t* r = malloc(sizeof(ap_abstract0_t));
    assert(r);
    r->value = oct;
    r->man = ap_manager_copy(man);
    return r;
}

示例#2

文件： japron.c 项目： nberth/apron4opam

/* ap_manager_t -> Manager */
jobject japron_manager_get(JNIEnv *env, ap_manager_t* m)
{
  check_nonnull(m,NULL);
  jobject mm = (*env)->NewObject(env, japron_manager, japron_manager_init);
  if (!mm) return NULL;
  set_manager(mm, ap_manager_copy(m));
  return mm;
}