simplify_get_help method

Z3_string simplify_get_help(
  1. Z3_context c
)

\brief Return a string describing all available parameters.

\sa Z3_simplify_ex \sa Z3_simplify_get_param_descrs

def_API('Z3_simplify_get_help', STRING, (_in(CONTEXT),))

Implementation

Z3_string simplify_get_help(
  Z3_context c,
) {
  return _simplify_get_help(
    c,
  );
}