Please help me if anyone can solve this problem, and I would be so appreciated. If there is a vehicle which can transport the material from machine 1 to machine 2 or from machine 4 to machine 3, which means there are two optional intervals (named V12 and V43) for this interval(named V) to choose. However, if the preceding operation interval was operated on machine 1 and the following operation interval was operated on machine 2, only V12 can be chosen as the alternative interval. That means, I need to make a constraint like
if (presenceOf(V12)) =>
presenceOf(operation[x][1].machine==1) && presenceOf(operation[x][2].machine == 2)