Method mkFullRe

src/api/java/Context.java:2529–2532

Create the full regular expression. Corresponds to re.all

(ReSort<R> s)

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

    /**
     * Create regular expression that accepts all characters