getHelp method

String getHelp()

Returns a description of the available parameters.

Implementation

String getHelp() {
  return _c._z3.fixedpoint_get_help(_fp).cast<Utf8>().toDartString();
}