Array.eval()

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

Array.eval()

Eval each element of this array.

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

0.5290826861200238

-0.8485702747846052

34

["SIN(34)","COS(34)"].eval()

0.5290826861200238

-0.8485702747846052