Originally posted by: hzwpku

There are two operations. Each operation has a set of available machines. Each job has a type, but the type is a variable which is depended on the selected machines in the first operation. For example,

there are five machines (A/B/C/D/E) for the first operation. If job select machine A, this job's type is A and so on. The setup time between two types in the second operation is given. How to deal with this problem where the setup time matrix is a variable?

Hi,

have you had a look at the example CPLEX_Studio129\opl\examples\opl\sched_setup

?

You ll see how noOverlap works with a matrix

regards

Originally posted by: hzwpku

Thanks for your reply.

I have seen the example. But the problem is the job's type is a variable which is depended on the selected machines in the first operation.

"noOverlap(s[m],tt[m],1)" don't work when tt[m] is a variable.

and have you tried to use alternative to model the different machines ?

Originally posted by: hzwpku

In "noOverlap(s[m],tt[m],1)" , can  tt[m]  be a variable?

Hi,

no the transition matrix has to be bound, so no variable.

But what you could do is use alternative.

regards

https://www.linkedin.com/pulse/%E4%BC%98%E5%8C%96%E5%B0%91%E8%8A%B1%E9%92%B1%E5%A4%9A%E5%8A%9E%E4%BA%8B-%E5%8A%A8%E7%89%A9%E5%9B%AD%E5%85%AC%E5%85%B1%E6%B1%BD%E8%BD%A6%E5%92%8C%E5%84%BF%E7%AB%A5-alex-fleischer/

Originally posted by: Filipe Costa

Hi,

If I understood your problem correctly, you can do something like this:

{string} machines = {A,B,C,D,E};

tuple Setup {
    string machine_origin;
    string machine_destination;
    int time;
}

{Setup} setup_times[m in machines]=...;

tuple Setup_Indexed{
    int id1;
    int id2;
    int time;
}

{Setup_Indexed} setup_times_indexed[m in machines]={<ord(machines,m_dest),ord(machines,m_dest),time>|<m_or,m_dest,time> in setup_times[m]};

Then when you declare your sequence variable:

you must specify the types :

types all(o in operations: ma.name==o.machine.name) ord(machines,o.machine.name); // ma -> all machines

Then the noOverlap constraint should work.

Regards