setParams method

void setParams(
  1. Params params
)

Sets the parameters for this solver, see getParamDescriptions for a description of the available parameters.

Implementation

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