Array.extract()

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

Array.extract(column list)

Extract specified columns

MAGICSQUARE(5).extract(1,3)

20 8 21 14 2

24 12 5 18 6

See Also

c

columns