Непрерывная переменная AMPL в индексном выражении

Я решаю небольшую проблему в AMPL и столкнулся с небольшой проблемой. У меня есть 4 набора A, B, C и D размер 3 и 1 переменная x { A, B} двоичный и y {B, C} двоичный.

Все элементы подмножеств D взяты из A.

Каждому элементу A ДОЛЖЕН быть назначен элемент из B. [эта часть сделана]

Каждому элементу из присвоенных значений B ДОЛЖЕН быть назначен элемент из C. [Вот в чем проблема]

По этой причине мне пришлось определить новую переменную map {A}, которая отображает элементы из A в B (это означает, что если x [ a, b] = 1, тогда map [a] = b).

Я хочу написать что-то вроде этого: y[ map[a],c] где {a в A, c в C}, что означает, что b отображается в B из a в A, но cplex выдает ошибку "continuous variable in index expression".

Есть ли способ это сделать? Заранее спасибо. Ваша помощь очень ценится.

Дополнительное объяснение:

предположим следующий код:

set A;
set B;
set C;
set D dimen 3; #elements are from A

var x{A,B} binary;
var y{B,C} binary;
var map{A};

forall{a in A} sum {b in B} x[a,b] = 1; #every element from A must have a mapping to B
forall{b in B} sum {c in C} y[b,c] <= 1; #for each element from B, there can be max of 1 mapping to C

subject to mapAtoB{a in A, b in B}: x[a,b] = 1 ==> map[a] = b;
subject to constr{ (i,j,k) in D, c in C }: y[ map[i],c ] + y[ map[j],c ] + y[ map[k],c] = 2; #here is the problem .. I want to be able to say map[i] which is supposed to be equal to some element in B which was assigned to A

data;
set A:= 1 2 3 4;
set B:= a b c;
set C:= i ii iii;
set D: 1 2 3:= (1,2,3) (1,2,4);