get_pattern method

Z3_ast get_pattern(
  1. Z3_context c,
  2. Z3_pattern p,
  3. int idx
)

\brief Return i'th ast in pattern.

def_API('Z3_get_pattern', AST, (_in(CONTEXT), _in(PATTERN), _in(UINT)))

Implementation

Z3_ast get_pattern(
  Z3_context c,
  Z3_pattern p,
  int idx,
) {
  return _get_pattern(
    c,
    p,
    idx,
  );
}