Hello, we have a LP-Model Problem in OPL CPLEX Programm. Our .mod file shows errors that our index values k and t does not exist - optimization

Question

// Indices
int K = ...; // Produktgruppe
int T = ...; // Periode
// Parameter
float a[1..K] = ...; // Produktionskoeffizient für Produktgruppe k für die personelle Kapazität
float b[1..K] = ...; // Produktionskoeffizient für Produktgruppe k für die technische Kapazität
float d[1..K] [1..T] = ...; // Nachfrage nach Produktgruppe p zum Zeitpunkt t
float l[1..K] = ...; // Lagerkostensatz für Produktgruppe k
float u[1..T] = ...; // Überstundenkostensatz in Periode t
int Cmax[1..T] = ...; // Maximale technische Kapazität in Periode t
int Nmax[1..T] = ...; // Maximale personelle Kapazität in Periode t
int Umax[1..T] = ...; // Maximale Übersunden in Periode t
// Entscheidungsvariable
dvar float+ X[1..K] [1..T]; // Produktionsmenge von Produktgruppe k in Periode t
dvar float+ L[1..K] [1..T]; // Lagermenge von Produktgruppe k in Periode t
dvar float+ U[1..T]; // Genutze Überstunden in Periode t
// Zielfunktion
minimize sum (t in 1..T, k in 1..K) (l[k]*L[k][t]) + sum(t in 1..T) (u[t]*U[t]);
// Nebenbedingungen
subject to {
forall(t in 1..T, k in 1..K) error: Aggregation operator FORALL not available for int.
//ctTechnische Kapazitaetsrestriktion:
sum(k in 1..K) (b[k]*X[k][t] <= Cmax[t]); error: Name t does not exist
forall (k in 1..K)
//ctPersonelle Kapazitaetsrestriktion:
a[k]*X[k][t] - U[t] <= Nmax[t]; error: Name t does not exist
forall (t in 1..T)
//ctmaximale Ueberstundenrestriktion:
U[t] <= Umax[t];
forall (t in 1..T) (k in 1..K);
//ctProduktionsmengen:
X[k][t] => 0; error: Name k does not exist
forall (t in 1..T)(k in 1..K);
// Lagermengen:
L[k][t] => 0; error: Name k does not exist
forall (t in 1..T) (k in 1..K);
// Ueberstundenrestriktion:
U[t] => 0; error: Name t does not exist
}
We labeled our Parameters at the beginning right and we know that in the Parameters it is not neccessary to define the index values of t and k. But we receive the same error in the resctriction area of the LP-Model telling us that they do not exist. If anyone finds where the problem is please give us your ideas/solutions.
Kind regards

Answer 1

// Indices
int K = 2; // Produktgruppe
int T = 3; // Periode
// Parameter
float a[1..K] = [1,2]; // Produktionskoeffizient für Produktgruppe k für die personelle Kapazität
float b[1..K] =[1,2]; // Produktionskoeffizient für Produktgruppe k für die technische Kapazität
float d[i in 1..K] [j in 1..T] = i*j; // Nachfrage nach Produktgruppe p zum Zeitpunkt t
float l[1..K] = [1,2]; ; // Lagerkostensatz für Produktgruppe k
float u[1..T] = [1,2,3]; ; // Überstundenkostensatz in Periode t
int Cmax[1..T] = [1,2,3];; // Maximale technische Kapazität in Periode t
int Nmax[1..T] = [1,2,3]; // Maximale personelle Kapazität in Periode t
int Umax[1..T] = [1,2,3]; // Maximale Übersunden in Periode t
// Entscheidungsvariable
dvar float+ X[1..K] [1..T]; // Produktionsmenge von Produktgruppe k in Periode t
dvar float+ L[1..K] [1..T]; // Lagermenge von Produktgruppe k in Periode t
dvar float+ U[1..T]; // Genutze Überstunden in Periode t
// Zielfunktion
minimize sum (t in 1..T, k in 1..K) (l[k]*L[k][t]) + sum(t in 1..T) (u[t]*U[t]);
// Nebenbedingungen
subject to {
forall(t in 1..T) //error: Aggregation operator FORALL not available for int.
//ctTechnische Kapazitaetsrestriktion:
sum(k in 1..K) b[k]*X[k][t] <= Cmax[t]; //error: Name t does not exist
forall (t in 1..T,k in 1..K)
//ctPersonelle Kapazitaetsrestriktion:
a[k]*X[k][t] - U[t] <= Nmax[t]; //error: Name t does not exist
forall (t in 1..T)
//ctmaximale Ueberstundenrestriktion:
U[t] <= Umax[t];
forall (t in 1..T,k in 1..K)
//ctProduktionsmengen:
X[k][t] >= 0; //error: Name k does not exist
forall (t in 1..T,k in 1..K)
// Lagermengen:
L[k][t] >=0; //error: Name k does not exist
forall (t in 1..T,k in 1..K)
// Ueberstundenrestriktion:
U[t] >= 0; // error: Name t does not exist
}
works fine