Forum Discussion
Naming sets where the elements are a combination of indices
Hello, I have a follow-up question on the MOSEL best practices described here, regarding naming sets: https://www.fico.com/fico-xpress-optimization/docs/latest/mosel/UG/dhtml/moselugapp_sec_secappn...
A collection of index tuples for which a condition evaluates to 'true' is usually best represented via a sparse multidimensional array of Booleans in Mosel, see for example https://examples.xpress.fico.com/example.pl?id=loopproj
So an extension to several dimensions of the example from the Mosel User Guide that you are referring to could be:
declarations
I,J,K: range
Cond: dynamic array(I,J,K) of boolean
end-declarations
! Index tuples for which the condition holds
forall(i in I, j in J, k in K | isodd(i) and j<>k and (k mod 7 = 0)) Cond(i,j,k)
! Use the precalculated condition
forall(i in I, j in J, k in K | exists(Cond(i,j,k)) ) x(i,j,k) is_integer
...
sum(i in I, j in J, k in K | exists(Cond(i,j,k))) x(i,j,k) >= 10