-
Create a regular expression language
self+
.Declaration
Swift
func plus() -> Z3RegularExp
-
Create a regular expression language
self*
.Declaration
Swift
func star() -> Z3RegularExp
-
Create a regular expression language
[self]
.Declaration
Swift
func option() -> Z3RegularExp
-
Create the union of this regular language and every other in
others
.Declaration
Swift
func union(_ others: [Z3RegularExp]) -> Z3RegularExp
-
Create the concatenation of this regular language and every other in
others
.Declaration
Swift
func concat(_ others: [Z3RegularExp]) -> Z3RegularExp
-
Create a regular expression loop.
The supplied regular expression
self
is repeated betweenlow
andhigh
times. Thelow
should be belowhigh
with one exception: when supplying the valuehigh
as 0, the meaning is to repeat the argumentself
at leastlow
number of times, and with an unbounded upper bound.Declaration
Swift
func loop(low: UInt32, high: UInt32) -> Z3RegularExp
-
Create a power regular expression.
Declaration
Swift
func power(count: UInt32) -> Z3RegularExp
-
Create the intersection of the regular languages.
Declaration
Swift
func intersect(_ others: [Z3RegularExp]) -> Z3RegularExp
-
Create the complement of the regular language
self
.Declaration
Swift
func complement() -> Z3RegularExp
-
Create the difference of this regular expression and
other
.Declaration
Swift
func difference(_ other: Z3RegularExp) -> Z3RegularExp