Array.match()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Also check out:

Notation for Matches, Replacements, Trims

 ⫳	ZREPLACE	
 ≐	ZMATCH		
 ≗	ZMATCHES	
 ≅	ZMATCHED	
 ≆	ZUNMATCHED	
 
 ⇺  LTRIM
 ⇻  RTRIM
 ⇼  TRIM