Alt

halotukozak.regex.Regex.Alt
final case class Alt

Alternation. Stored as a Set for ACI normalization. Always size ≥ 2.

Attributes

Members list

Value members

Inherited methods

infix def &(other: Regex): Regex

Intersection: this ∩ other.

Intersection: this ∩ other.

Attributes

Inherited from:
Regex
infix def concat(other: Regex): Regex

Concatenation: this · other.

Concatenation: this · other.

Attributes

Inherited from:
Regex
def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
def repeat(lo: Int, hi: Int): Regex

Quantifier this{n,m} where m can be Int.MaxValue for unbounded.

Quantifier this{n,m} where m can be Int.MaxValue for unbounded.

Attributes

Inherited from:
Regex
def star: Regex

Kleene star: this*.

Kleene star: this*.

Attributes

Inherited from:
Regex
def unary_!: Regex

Complement: ¬this.

Complement: ¬this.

Attributes

Inherited from:
Regex
infix def |(other: Regex): Regex

Alternation: this | other.

Alternation: this | other.

Attributes

Inherited from:
Regex

Inherited fields

lazy override val hashCode: Int

Cached: this tree is immutable and gets hashed repeatedly by the Set-based ACI normalization in Regex.alt/Regex.inter and by the visited-state set driving Brzozowski derivative exploration in Subset — recomputing structurally every time would walk the whole subtree on each lookup.

Cached: this tree is immutable and gets hashed repeatedly by the Set-based ACI normalization in Regex.alt/Regex.inter and by the visited-state set driving Brzozowski derivative exploration in Subset — recomputing structurally every time would walk the whole subtree on each lookup.

Attributes

Inherited from:
Regex