setParams method

void setParams(Params params)

Implementation

void setParams(Params params) {
  _c._z3.fixedpoint_set_params(_fp, params._params);
}