Array.pick()

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

Array.pick(ArrayMask)

Pick all elements that matches a true in the array mask.

[1,2,3].pick([true,false,true])

[1, 3]

See Also

parts

pieces