Method mkGe

src/api/java/Context.java:1109–1115

Create an expression representing t1 >= t2

(Expr<? extends ArithSort> t1, Expr<? extends ArithSort> t2)

     * Create an expression representing {@code t1 >= t2}
     **/
    public BoolExpr mkGe(Expr<? extends ArithSort> t1, Expr<? extends ArithSort> t2)
    {
        checkContextMatch(t1);
        checkContextMatch(t2);
        return new BoolExpr(this, Native.mkGe(nCtx(), t1.getNativeObject(),
                t2.getNativeObject()));
    }

    /**
     * Coerce an integer to a real.