In reply to csivas@gmail.com:
This would not work even if your tool did support the function. The function is not pure, meaning its return value is not solely determined by its inputs—it does not have any.
You can write this as
constraint sum_product_c {dataq1.sum(q1) with (int'(q1)*int'(dataq2(q1.index))) < 100000; }