$ONECHO > "%lm.info%" Disjunction D(i,j); D(i,j) with (ord(i) < ord(j)) IS IF Y(i,j) THEN CONSTR1(j); CONSTR2(i,j); ELSE CONSTR3(j); CONSTR4(j,k) with k IN ('1', '2'); ENDIF; $OFFECHO |
$ONECHO > "%lm.info%" Disjunction D(i,j); D(i,j) with (ord(i) < ord(j)) IS IF Y(i,j) THEN CONSTR1(j); CONSTR2(i,j); ELSE CONSTR3(j); CONSTR4(j,k) with k IN ('1'..'2'); ENDIF; $OFFECHO |
with (ord(j) lt card(i) and ord(k) not 1) with (ord(I) lt ord(K)) and ( (ord(I) eq 1 and ord(K) eq 3 and ord(j) eq 1) or (ord(I) eq 1 and ord(K) eq 4 and ord(j) eq 4)) |