get_pattern_num_terms method

int get_pattern_num_terms(Z3_context c, Z3_pattern p)

\brief Return number of terms in pattern.

def_API('Z3_get_pattern_num_terms', UINT, (_in(CONTEXT), _in(PATTERN)))

Implementation

int get_pattern_num_terms(
  Z3_context c,
  Z3_pattern p,
) {
  return _get_pattern_num_terms(
    c,
    p,
  );
}