model_get_num_consts method

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

\brief Return the number of constants assigned by the given model.

\sa Z3_model_get_const_decl

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

Implementation

int model_get_num_consts(
  Z3_context c,
  Z3_model m,
) {
  return _model_get_num_consts(
    c,
    m,
  );
}