Method mkAdd

src/api/java/Context.java:982–988

Create an expression representing t[0] + t[1] + ....

(Expr<? extends R>... t)

     * Create an expression representing {@code t[0] + t[1] + ...}.
     **/
    @SafeVarargs
    public final <R extends ArithSort> ArithExpr<R> mkAdd(Expr<? extends R>... t)
    {
        checkContextMatch(t);
        return (ArithExpr<R>) Expr.create(this,
                Native.mkAdd(nCtx(), t.length, AST.arrayToNative(t)));
    }

    /**
     * Create an expression representing {@code t[0] * t[1] * ...}.