getParamDescs method

ParamDescs getParamDescs()

Implementation

ParamDescs getParamDescs() {
  return _c._getParamDescriptions(_c._z3.solver_get_param_descrs(_solver));
}