Type Alias Regex

pub type Regex<S> = Regex<Default<S>>;

Regular expressions over symbols of the given alphabet.

Aliased Type

pub enum Regex<S> {
    EmptySet,
    EmptyString,
    Symbol(<ApproximatelySimilarCanonical<S> as Builder>::Symbol),
    Concat(Box<Regex<ApproximatelySimilarCanonical<S>>>, Box<Regex<ApproximatelySimilarCanonical<S>>>),
    Closure(Box<Regex<ApproximatelySimilarCanonical<S>>>),
    Or(Box<Regex<ApproximatelySimilarCanonical<S>>>, Box<Regex<ApproximatelySimilarCanonical<S>>>),
    And(Box<Regex<ApproximatelySimilarCanonical<S>>>, Box<Regex<ApproximatelySimilarCanonical<S>>>),
    Complement(Box<Regex<ApproximatelySimilarCanonical<S>>>),
}

Variants

EmptySet

The empty set ∅

EmptyString

The empty string ε

Symbol(<ApproximatelySimilarCanonical<S> as Builder>::Symbol)

A symbol s

Concat(Box<Regex<ApproximatelySimilarCanonical<S>>>, Box<Regex<ApproximatelySimilarCanonical<S>>>)

Concatenation R S

Closure(Box<Regex<ApproximatelySimilarCanonical<S>>>)

Closure R*

Or(Box<Regex<ApproximatelySimilarCanonical<S>>>, Box<Regex<ApproximatelySimilarCanonical<S>>>)

Disjunction R | S

And(Box<Regex<ApproximatelySimilarCanonical<S>>>, Box<Regex<ApproximatelySimilarCanonical<S>>>)

Conjunction R & R

Complement(Box<Regex<ApproximatelySimilarCanonical<S>>>)

Complement ¬R