2楼: Originally posted by FMStation at 2016-10-10 10:48:40
https://stackoverflow.com/questions/26848648/constraint-forall-cplex


{int} i_indexes = ...;
{int} j_indexes = ...;
{int} m_indexes = ...;
{int} l_indexes = ...;

dvar float+ s;

forall(i  ...

{int} i_indexes = ...;
{int} j_indexes = ...;
{int} m_indexes = ...;
{int} l_indexes = ...;

dvar float+ s[i_indexes][j_indexes][m_indexes][l_indexes];

forall(i in i_indexes, j in j_indexes, m in m_indexes, l in l_indexes) {
    l != last(l_indexes) => s[i][j][m][l] <= s[i][j][m][nextc(l_indexes, l)];
}