add_const_interp method

void add_const_interp(
  1. Z3_context c,
  2. Z3_model m,
  3. Z3_func_decl f,
  4. Z3_ast a,
)

\brief Add a constant interpretation.

def_API('Z3_add_const_interp', VOID, (_in(CONTEXT), _in(MODEL), _in(FUNC_DECL), _in(AST)))

Implementation

void add_const_interp(
  Z3_context c,
  Z3_model m,
  Z3_func_decl f,
  Z3_ast a,
) {
  return _add_const_interp(
    c,
    m,
    f,
    a,
  );
}