Array.fold()

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

Array.fold(SomeAtFoldValue, SomeAtReverseFoldValue)

For the corresponding SomeAtFoldValue (and SomeAtReverseFoldValue), fold the array into subarrays if the value in the array element matches the given fold value. "a+[a+b]"

  .split("")
  .fold("[").print()

[a,+, [[,a,+,b,] ] ]

(Compare this to the original string "a+[a+b]")

See Also

pairmatch