simplify method

Z3_ast simplify(
  1. Z3_context c,
  2. Z3_ast a
)

\brief Interface to simplifier.

Provides an interface to the AST simplifier used by Z3. It returns an AST object which is equal to the argument. The returned AST is simplified using algebraic simplification rules, such as constant propagation (propagating true/false over logical connectives).

\sa Z3_simplify_ex

def_API('Z3_simplify', AST, (_in(CONTEXT), _in(AST)))

Implementation

Z3_ast simplify(
  Z3_context c,
  Z3_ast a,
) {
  return _simplify(
    c,
    a,
  );
}