Manuals/calci/ARRAYFY

Description

• Arrayfies a function to allow it to handle array parameters. Argumentmask is an array that indicates which of the parameters should be treated as a single array, rather than be used to invoke combinatorial arguments.

• functionname⩨argumentmask also invokes the same function (e.g., distance ⩨ or distance ⩨[1])

Examples

distance:=speed*time;

ARRAYFY(distance)

distance(1..2,2..3)

speed time distance

1 2 2

1 3 3

2 2 4

2 3 6

See Also

• ARRAY

References

• List of Main Z Functions

• Z3 home