getParamDescriptions method

ParamDescs getParamDescriptions()

Gets a description of the parameters accepted by this tactic.

Implementation

ParamDescs getParamDescriptions() {
  return _c._getParamDescriptions(_c._z3.tactic_get_param_descrs(_tactic));
}