Array.otherthan()

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

Array.otherthan(ArrayWithElementsToExclude)

Returns the elements except the specified elements.

1. 1..100.otherthan(2) = 1 3 4 5 6 7 8 9 10.................100
2. 1..100.otherthan(2..6) = 1 7 8 9 10 .................100

See Also

Numbers

Notinclude