Multiple arguments to foreach loop

[dave_59]

In reply to DhavalP:
A foreach loop just gives you an index to iterate over, just like a for loop. Within the loop, you can do whatever you want with the index value.

  constraint x_y_width { foreach(x[i]) {x[i] + y[i] < width};}