Array.exec()

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

Array.exec(Parameters)

Execute each element of this array with the Parameters given.

[SIN,COS,MINUS].exec(34)

0.5290826861200238

-0.8485702747846052

34