qe_model_project_skolem method

Z3_ast qe_model_project_skolem(
  1. Z3_context c,
  2. Z3_model m,
  3. int num_bounds,
  4. Pointer<Z3_app> bound,
  5. Z3_ast body,
  6. Z3_ast_map map,
)

\brief Project variables given a model

def_API('Z3_qe_model_project_skolem', AST, (_in(CONTEXT), _in(MODEL), _in(UINT), _in_array(2, APP), _in(AST), _in(AST_MAP)))

Implementation

Z3_ast qe_model_project_skolem(
  Z3_context c,
  Z3_model m,
  int num_bounds,
  ffi.Pointer<Z3_app> bound,
  Z3_ast body,
  Z3_ast_map map,
) {
  return _qe_model_project_skolem(
    c,
    m,
    num_bounds,
    bound,
    body,
    map,
  );
}