Hello

Given an optional interval Pile defined as an alternative between 2 dimensional set of intervals itv[i in 0..5][y in ypos={0,90,120}], I want to define integer variables pileInfo[1..2] defined as follow

pileInfo[1] == i iff the chosen itv first index is i, or a dummy index (6 for instance) if Pile is not present

pileInfo[2]==y iff the chosen itv second index is y

Note : This vector well help me later to break symetry between several Pile using a lex constraint between 2 different pileInfo vectors

I'm wondering what most efficient way would be to define pileInfo. Something like

PileInfo[1]==presenceOf(Pile)==0?6:sum(i in 0..5, y in ypos) i*presenceOf(itv[i][y])

is correct but not fancy and probably I could do better with intervals?

thanks

david