32#ifdef WITH_CPOPTIMIZER
44 (*infeasible) =
FALSE;
61 for( v = 0; v < njobs; ++v )
67 jobs[v].setEndMax(
lsts[v] + durations[v]);
70 jobs[v].setSizeMin(durations[v]);
71 jobs[v].setSizeMax(durations[v]);
85 for( v = 0; v < njobs; ++v )
95 objective.setExpr(costs);
96 objective.setSense(IloObjective::Minimize);
104 horizon.setSizeMin(hmax - hmin);
105 horizon.setSizeMax(hmax - hmin);
113 cp.setParameter(IloCP::TimeLimit, timelimit);
116 cp.setParameter(IloCP::ChoicePointLimit, maxnodes);
118 cp.setParameter(IloCP::LogVerbosity, IloCP::Quiet);
120 cp.setParameter(IloCP::SearchType, IloCP::DepthFirst);
121 cp.setParameter(IloCP::CumulFunctionInferenceLevel, IloCP::Extended);
122 cp.setParameter(IloCP::NoOverlapInferenceLevel, IloCP::Extended);
123 cp.setParameter(IloCP::Workers, 1);
127 switch(
cp.getStatus() )
129 case IloAlgorithm::Feasible:
130 case IloAlgorithm::Optimal:
132 for( v = 0; v < njobs; ++v )
139 case IloAlgorithm::InfeasibleOrUnbounded:
140 (*infeasible) =
TRUE;
145 case IloAlgorithm::Infeasible:
146 (*infeasible) =
TRUE;
149 case IloAlgorithm::Unbounded:
152 case IloAlgorithm::Unknown:
153 case IloAlgorithm::Error:
contains method to solve a single cumulative condition via IBM ILOG CP Optimiter
#define SCIP_DECL_SOLVECUMULATIVE(x)