Enum BaseRegLan

pub enum BaseRegLan {
    Empty,
    Epsilon,
    Range(CharSet),
    Concat(RegLan, RegLan),
    Loop(RegLan, LoopRange),
    Complement(RegLan),
    Union(Box<[RegLan]>),
    Inter(Box<[RegLan]>),
}

Abstract syntax for regular expressions

Variants

Empty

Empty language

Epsilon

The language that contains only the empty string

Range(CharSet)

Words of length one with characters is a range [a, b]

Concat(RegLan, RegLan)

Concatenation of two languages

Loop(RegLan, LoopRange)

Generalized loop: see loop_ranges

Complement(RegLan)

Complement of a language

Union(Box<[RegLan]>)

Union of two or more languages

Inter(Box<[RegLan]>)

Intersection of two or more languages

Implementations

impl BaseRegLan

pub fn is_atomic(&self) -> bool

Check whether this RE is atomic (either Empty, Epsilon, or a character Range)

Trait Implementations

impl Clone for BaseRegLan

fn clone(&self) -> BaseRegLan

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BaseRegLan

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for BaseRegLan

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for BaseRegLan

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for BaseRegLan

fn eq(&self, other: &BaseRegLan) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for BaseRegLan

impl StructuralPartialEq for BaseRegLan