simplify_get_param_descrs method

Z3_param_descrs simplify_get_param_descrs(
  1. Z3_context c
)

\brief Return the parameter description set for the simplify procedure.

\sa Z3_simplify_ex \sa Z3_simplify_get_help

def_API('Z3_simplify_get_param_descrs', PARAM_DESCRS, (_in(CONTEXT),))

Implementation

Z3_param_descrs simplify_get_param_descrs(
  Z3_context c,
) {
  return _simplify_get_param_descrs(
    c,
  );
}