mk_parser_context method

Z3_parser_context mk_parser_context(
  1. Z3_context c
)

\brief Create a parser context.

A parser context maintains state between calls to \c Z3_parser_context_parse_string where the caller can pass in a set of SMTLIB2 commands. It maintains all the declarations from previous calls together with of sorts and function declarations (including 0-ary) that are added directly to the context.

def_API('Z3_mk_parser_context', PARSER_CONTEXT, (_in(CONTEXT),))

Implementation

Z3_parser_context mk_parser_context(
  Z3_context c,
) {
  return _mk_parser_context(
    c,
  );
}