Using sum() to Calculate the Sum of a 2D Array

In reply to dave_59:
I see. Thanks.

I was not able to put this into a constraint. Something like this:


rand int A[2][2];

constraint c1{
  (A.sum with (item.sum with (item))) == 0;
}


The code wouldn’t compile. Can you point out where I did wrong here?