Glad to help. Yes, your understanding is correct (assuming N=6). You can also use the EXPAND statement to help verify what is happening. For example:
expand DesiredConstraint1;
Here are the first several lines of the resulting output:
Constraint DesiredConstraint1[AAA,9,DAY_1,11,DAY_2]: PROD_ASSIGN[AAA,9,DAY_1] +
PROD_ASSIGN[AAA,11,DAY_2] <= 1
Constraint DesiredConstraint1[AAA,9,DAY_1,11,DAY_3]: PROD_ASSIGN[AAA,9,DAY_1] +
PROD_ASSIGN[AAA,11,DAY_3] <= 1
Constraint DesiredConstraint1[AAA,9,DAY_1,12,DAY_2]: PROD_ASSIGN[AAA,9,DAY_1] +
PROD_ASSIGN[AAA,12,DAY_2] <= 1
Constraint DesiredConstraint1[AAA,9,DAY_1,12,DAY_3]: PROD_ASSIGN[AAA,9,DAY_1] +
PROD_ASSIGN[AAA,12,DAY_3] <= 1
Constraint DesiredConstraint1[AAA,9,DAY_1,9,DAY_3]: PROD_ASSIGN[AAA,9,DAY_1] +
PROD_ASSIGN[AAA,9,DAY_3] <= 1
Constraint DesiredConstraint1[AAA,9,DAY_1,9,DAY_2]: PROD_ASSIGN[AAA,9,DAY_1] +
PROD_ASSIGN[AAA,9,DAY_2] <= 1
Constraint DesiredConstraint1[AAA,9,DAY_1,10,DAY_3]: PROD_ASSIGN[AAA,9,DAY_1] +
PROD_ASSIGN[AAA,10,DAY_3] <= 1
Constraint DesiredConstraint1[AAA,9,DAY_1,10,DAY_2]: PROD_ASSIGN[AAA,9,DAY_1] +
PROD_ASSIGN[AAA,10,DAY_2] <= 1
... View more