model_get_num_funcs method

int model_get_num_funcs(
  1. Z3_context c,
  2. Z3_model m
)

\brief Return the number of function interpretations in the given model.

A function interpretation is represented as a finite map and an 'else' value. Each entry in the finite map represents the value of a function given a set of arguments.

\sa Z3_model_get_func_decl

def_API('Z3_model_get_num_funcs', UINT, (_in(CONTEXT), _in(MODEL)))

Implementation

int model_get_num_funcs(
  Z3_context c,
  Z3_model m,
) {
  return _model_get_num_funcs(
    c,
    m,
  );
}