Originally posted by: mathygirl

I was wondering if there is an aggregate "and" operator in opl/opl script. I'd like to perform the following operation in compact form:

a_1 and a_2 and a_3 and a_4 and a_5 and ... and a_n.

Hi

here a small example:

int a=2;

assert and(i in 1..10) (a<=a+i);
assert forall(i in 1..10) (a<=a+i);

regards