simplify_ex method

Z3_ast simplify_ex(
  1. Z3_context c,
  2. Z3_ast a,
  3. Z3_params p
)

\brief Interface to simplifier.

Provides an interface to the AST simplifier used by Z3. This procedure is similar to #Z3_simplify, but the behavior of the simplifier can be configured using the given parameter set.

\sa Z3_simplify \sa Z3_simplify_get_help \sa Z3_simplify_get_param_descrs

def_API('Z3_simplify_ex', AST, (_in(CONTEXT), _in(AST), _in(PARAMS)))

Implementation

Z3_ast simplify_ex(
  Z3_context c,
  Z3_ast a,
  Z3_params p,
) {
  return _simplify_ex(
    c,
    a,
    p,
  );
}