Method simplify

src/api/java/Expr.java:41–44

Returns a simplified version of the expression @return Expr @throws Z3Exception on error

()

     * @throws Z3Exception on error
     **/
    public Expr<R> simplify()
    {
        return simplify(null);
    }

    /**
     * Returns a simplified version of the expression