Array.withinlimits()

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

Array.withinlimits(LimitArray, IncludeEdges)

1. 1..100.withinlimits(2..3)

2 3

2. 543..1245.withinlimits(700..900)

700 701

See Also

• Random
• Deal
• AllSlices