Array.print()

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

Array.print(Trimmed, TabLevel)

Print the array. Trimmed trims the printing, and tablevel indents the tabs for each element.

MAGICSQUARE(3).print()

[

[2,7,6 ],

[9,5,1 ],

[4,3,8 ]

]

MAGICSQUARE(3).print(true)

[

[2,7,6 ],

[9,5,1 ],

[4,3,8 ]

]

On screen, this would be tabbed appropriately.

MAGICSQUARE(3).print(true,true)

[

[2,7,6 ],

[9,5,1 ],

[4,3,8 ]

]