mk_string method

Z3_ast mk_string(
  1. Z3_context c,
  2. Z3_string s
)

\brief Create a string constant out of the string that is passed in The string may contain escape encoding for non-printable characters or characters outside of the basic printable ASCII range. For example, the escape encoding \u{0} represents the character 0 and the encoding \u{100} represents the character 256.

def_API('Z3_mk_string', AST, (_in(CONTEXT), _in(STRING)))

Implementation

Z3_ast mk_string(
  Z3_context c,
  Z3_string s,
) {
  return _mk_string(
    c,
    s,
  );
}