parser_context_from_string method

Z3_ast_vector parser_context_from_string(
  1. Z3_context c,
  2. Z3_parser_context pc,
  3. Z3_string s
)

\brief Parse a string of SMTLIB2 commands. Return assertions.

def_API('Z3_parser_context_from_string', AST_VECTOR, (_in(CONTEXT), _in(PARSER_CONTEXT), _in(STRING)))

Implementation

Z3_ast_vector parser_context_from_string(
  Z3_context c,
  Z3_parser_context pc,
  Z3_string s,
) {
  return _parser_context_from_string(
    c,
    pc,
    s,
  );
}