Function z3_sys::Z3_simplify

pub unsafe extern "C" fn Z3_simplify(c: Z3_context, a: Z3_ast) -> Z3_ast

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).

See also:

• Z3_simplify_ex