Если у меня есть такой кортеж, как этот
tuple index{
int i;
int j;
int k;
}
{index}indexs=
{
<1 1 1><1 1 2> <1 2 1> <1 2 3> <2 1 2> <2 1 4>
}
Как мне добавить ограничение, чтобы, если i и j были одинаковыми, выбрать из него кортеж?
Как, forall (i, j) сумма (k в ?? ) x[i][j][k]=1
Это означает, что выберите один кортеж из <1 1 1> и <1 1 2>, один кортеж из <12 1> <1 2 2> <1 2 3> и один кортеж из <2 1 2> <2 1 4>?