Method mkEmptyRe

src/api/java/Context.java:2520–2523

Create the empty regular expression. Corresponds to re.none

(ReSort<R> s)

     * Corresponds to re.none
     */
    public final <R extends Sort> ReExpr<R> mkEmptyRe(ReSort<R> s)
    {
        return (ReExpr<R>) Expr.create(this, Native.mkReEmpty(nCtx(), s.getNativeObject()));
    }

    /**
     * Create the full regular expression.