Array.any()

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

Array.any(Count)

Get any Count set of elements.

1..100.any()

47

1..100.any(3)

58

2

38

See Also

few