tactic_get_descr method

Z3_string tactic_get_descr(
  1. Z3_context c,
  2. Z3_string name
)

\brief Return a string containing a description of the tactic with the given name.

def_API('Z3_tactic_get_descr', STRING, (_in(CONTEXT), _in(STRING)))

Implementation

Z3_string tactic_get_descr(
  Z3_context c,
  Z3_string name,
) {
  return _tactic_get_descr(
    c,
    name,
  );
}