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