apply_result_to_string method

Z3_string apply_result_to_string(Z3_context c, Z3_apply_result r)

\brief Convert the \c Z3_apply_result object returned by #Z3_tactic_apply into a string.

def_API('Z3_apply_result_to_string', STRING, (_in(CONTEXT), _in(APPLY_RESULT)))

Implementation

Z3_string apply_result_to_string(
  Z3_context c,
  Z3_apply_result r,
) {
  return _apply_result_to_string(
    c,
    r,
  );
}