ILOG OPL Development Studio Language Reference Manual

♦alwaysIn(f,a,hmin,hmax);Note that these constraints cannot be used in meta-constraints.Example with stateFunction, transition, and alwaysEqual.A machine can be equipped with a tool among a set of n possible tools. Each operation oexecuted on the machine needs a specific tool RequiredTool[o]. The machine can processseveral operation simultaneously provided these operations are compatible with the toolcurrently installed on the machine. Changing the tool installed on the machine needs someconstant set-up time which is supposed to be independent from the tools.int nbTools = ...;int nbOps = ...;int setupTime = ...;range Tools = 1..nbTools;range Operations = 1..nbOps;int Duration [Operations] = ...;int RequiredTool [Operations] = ...;dvar interval op[o in Operations] size Duration[o];tuple triplet { int tl1; int tl2; int value; };{ triplet } Transition = { } tl1, tl2 in Tools };stateFunction machineTool with Transition;constraints {forall(o in Operations) {alwaysEqual(machineTool, op[o], RequiredTool[o]);}}170I L O G O P L D E V E L O P M E N T S T U D I O L A N G U A G ER E F E R E N C E M A N U A L