Package choco.kernel.model.constraints

Examples of choco.kernel.model.constraints.Constraint

183
184
185
186
187
188
189
190
191
192
193
                if (lowerbound > 0)
                    model.addConstraint(geq(intExp, lowerbound));
            }
        }
        else if (lit0 instanceof LinearLiteral) {
            Constraint cnstr = getConstraint(((LinearLiteral) lit0).getLinearInequality());
//            System.out.println("cnstr = " + cnstr.pretty());
            model.addConstraint(cnstr);
        }
        else
            throw new UnsupportedOperationException();
View Full Code Here
238
239
240
241
242
243
244
245
246
247
248
            if (unexp.getOperator() instanceof N) {
                IntegerExpressionVariable arg = getExpression(unexp.getArgument());
                return plus(totalNumberOfDegrees, mult(arg, -1));
            }
            else if(unexp.getOperator() instanceof NM){
                Constraint cnstr = lt(0,getExpression(unexp.getArgument()));
                return ifThenElse(cnstr,new IntegerConstantVariable(0),new IntegerConstantVariable(totalNumberOfDegrees));
            }
            else
                throw new UnsupportedOperationException();
        }
View Full Code Here
163
164
165
166
167
168
169
170
171
172
173
                if (lowerbound > 0)
                    model.addConstraint(geq(intExp, lowerbound));
            }
        }
        else if (lit0 instanceof LinearLiteral){
            Constraint cnstr = getConstraint(((LinearLiteral) lit0).getLinearInequality());
//            System.out.println("cnstr = " + cnstr.pretty());
            model.addConstraint(cnstr);
            }
        else
            throw new UnsupportedOperationException();
View Full Code Here
220
221
222
223
224
225
226
227
228
229
230
            if (unexp.getOperator() instanceof N) {
                IntegerExpressionVariable arg = getExpression(unexp.getArgument());
                return plus(numberOfDegrees, mult(arg, -1));
            }
            else if(unexp.getOperator() instanceof NM){
                Constraint cnstr = lt(0,getExpression(unexp.getArgument()));
                return ifThenElse(cnstr,new IntegerConstantVariable(0),new IntegerConstantVariable(numberOfDegrees));
            }
            else
                throw new UnsupportedOperationException();
        }
View Full Code Here
176
177
178
179
180
181
182
183
184
185
186
                if (lowerbound > 0)
                    model.addConstraint(geq(intExp, lowerbound));
            }
        }
        else if (lit0 instanceof LinearLiteral) {
            Constraint cnstr = getConstraint(((LinearLiteral) lit0).getLinearInequality());
//            System.out.println("cnstr = " + cnstr.pretty());
            model.addConstraint(cnstr);
        }
        else
            throw new UnsupportedOperationException();
View Full Code Here
231
232
233
234
235
236
237
238
239
240
241
            if (unexp.getOperator() instanceof N) {
                IntegerExpressionVariable arg = getExpression(unexp.getArgument());
                return plus(totalNumberOfDegrees, mult(arg, -1));
            }
            else if(unexp.getOperator() instanceof NM){
                Constraint cnstr = lt(0,getExpression(unexp.getArgument()));
                return ifThenElse(cnstr,new IntegerConstantVariable(0),new IntegerConstantVariable(totalNumberOfDegrees));
            }
            else
                throw new UnsupportedOperationException();
        }
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
   
   
    // constraints
    // repartition sur les plages horaires
    // les creneaux a placer ne doivent pas l'etre en meme temps
    Constraint c1 = Choco.disjunctive(creneauxAPlacer); 
    m.addConstraint(c1);
   
    // precedences
    Constraint[] c2 = new Constraint[preced.length];
    for(int i = 0; i < c2.length; i++) {
View Full Code Here
TOP

Related Classes of choco.kernel.model.constraints.Constraint

  • csp.BackdoorChocoSolver
  • csp.ChocoSolver
  • csp.EnumeratedChocoSolver
  • launcher.Planning
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.