mk_app method

Z3_ast mk_app(
  1. Z3_context c,
  2. Z3_func_decl d,
  3. int num_args,
  4. Pointer<Z3_ast> args,
)

\brief Create a constant or function application.

\sa Z3_mk_fresh_func_decl \sa Z3_mk_func_decl \sa Z3_mk_rec_func_decl

def_API('Z3_mk_app', AST, (_in(CONTEXT), _in(FUNC_DECL), _in(UINT), _in_array(2, AST)))

Implementation

Z3_ast mk_app(
  Z3_context c,
  Z3_func_decl d,
  int num_args,
  ffi.Pointer<Z3_ast> args,
) {
  return _mk_app(
    c,
    d,
    num_args,
    args,
  );
}