getParamHelp method

String getParamHelp()

Gets a description of the parameters accepted by this tactic.

Implementation

String getParamHelp() {
  return _c._z3.tactic_get_help(_tactic).cast<Utf8>().toDartString();
}