qe_model_project method

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

\brief Project variables given a model

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

Implementation

Z3_ast qe_model_project(
  Z3_context c,
  Z3_model m,
  int num_bounds,
  ffi.Pointer<Z3_app> bound,
  Z3_ast body,
) {
  return _qe_model_project(
    c,
    m,
    num_bounds,
    bound,
    body,
  );
}