Method mkSub

src/api/java/Context.java:1004–1010

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> mkSub(Expr<? extends R>... t)
    {
        checkContextMatch(t);
        return (ArithExpr<R>) Expr.create(this,
                Native.mkSub(nCtx(), t.length, AST.arrayToNative(t)));
    }

    /**
     * Create an expression representing {@code -t}.