getParamDescriptions method

ParamDescs getParamDescriptions()

Implementation

ParamDescs getParamDescriptions() {
  return _c
      ._getParamDescriptions(_c._z3.optimize_get_param_descrs(_optimize));
}