-
Returns the AST for this sequence’s length.
Declaration
Swift
var length: Z3Int { get }
-
Return index of the first occurrence of
search
in this sequence starting fromoffset
.If this sequence does not contain
search
, then the value is -1, ifoffset
is the length of this sequence, then the value is -1 as well. The value is -1 ifoffset
is negative or larger than the length of this sequence. -
Return index of the last occurrence of
search
in this sequence.If this sequence does not contain
search
, then the value is -1.Declaration
Swift
func lastIndex(of search: Z3Seq<Element>) -> Z3Int
-
Check if
subsequence
is a subsequence of this sequence.Declaration
Swift
func contains(search: Z3Seq<Element>) -> Z3Bool
-
Replace the first occurrence of
src
withdst
in this sequence.Declaration
Swift
func replace(source: Z3Seq, dest: Z3Seq) -> Z3Seq
-
Retrieve from this sequence the unit sequence positioned at position
index
.Declaration
Swift
func at(index: Z3Int) -> Z3Seq
-
Create a regular expression that accepts this sequence.
Declaration
Swift
func toRegularExp() -> Z3RegularExp<Element>
-
Check for regular expression membership.
Declaration
Swift
func inRegExp(_ re: Z3RegularExp<Element>) -> Z3Bool