mk_params method

Z3_params mk_params(
  1. Z3_context c
)

\brief Create a Z3 (empty) parameter set. Starting at Z3 4.0, parameter sets are used to configure many components such as: simplifiers, tactics, solvers, etc.

\remark Reference counting must be used to manage parameter sets, even when the \c Z3_context was created using #Z3_mk_context instead of #Z3_mk_context_rc.

def_API('Z3_mk_params', PARAMS, (_in(CONTEXT),))

Implementation

Z3_params mk_params(
  Z3_context c,
) {
  return _mk_params(
    c,
  );
}