getParamDescriptions method

ParamDescs getParamDescriptions()

Returns a description of the available parameters.

Implementation

ParamDescs getParamDescriptions() {
  return _c._getParamDescriptions(_c._z3.fixedpoint_get_param_descrs(_fp));
}