func_interp_get_entry method

Z3_func_entry func_interp_get_entry(
  1. Z3_context c,
  2. Z3_func_interp f,
  3. int i
)

\brief Return a "point" of the given function interpretation. It represents the value of \c f in a particular point.

\pre i < Z3_func_interp_get_num_entries(c, f)

\sa Z3_func_interp_get_num_entries

def_API('Z3_func_interp_get_entry', FUNC_ENTRY, (_in(CONTEXT), _in(FUNC_INTERP), _in(UINT)))

Implementation

Z3_func_entry func_interp_get_entry(
  Z3_context c,
  Z3_func_interp f,
  int i,
) {
  return _func_interp_get_entry(
    c,
    f,
    i,
  );
}