Package com.exigen.ie.constrainer

Examples of com.exigen.ie.constrainer.IntExp

265
266
267
268
269
270
271
272
  /**
   * @return this in power of value where value >= 0
   */
  public javax.constraints.Var power(int value) {
    IntExp myVar = (IntExp) getImpl();
    return new Var(getProblem(),myVar.pow(value));
  }
View Full Code Here
296
297
298
299
300
301
302
303
   *            the events that will trigger the invocation of the
   *            Propagator.
   */
  public void addPropagator(Propagator propagator, PropagationEvent event) {
      ConstrainerPropagator observer = new ConstrainerPropagator(propagator, event);
      IntExp exp = (IntExp)getImpl();
      exp.attachObserver(observer);
  }
View Full Code Here
35
36
37
38
39
40
41
42
43
44
45
    super(vars[0].getProblem(),"AllDiff");
    Problem problem = (Problem) getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray intvars = new IntExpArray(constrainer,vars.length);
    for(int i=0; i<vars.length; i++) {
      IntExp var = (IntExp)vars[i].getImpl();
      intvars.set(var, i);
    }

    com.exigen.ie.constrainer.Constraint allDiff =
      new com.exigen.ie.constrainer.impl.ConstraintAllDiff(intvars);
View Full Code Here
262
263
264
265
266
267
268
269
270
271
272
273
274
   
    //clearSolutions();
    com.exigen.ie.constrainer.Goal saveGoal = new GoalSaveSolution(this);
    com.exigen.ie.constrainer.Goal totalGoal = new GoalAnd(goal,saveGoal);
   
    IntExp cObj = (IntExp)objectiveVar.getImpl();
    if ( objective.equals(Objective.MAXIMIZE) ) {
      cObj = cObj.mul(-1);
    }
//    if (solver.getMaxNumberOfSolutions() > 0)
//      constrainer.set
    boolean trace = false;
    boolean goal_saves_solution = true;
View Full Code Here
296
297
298
299
300
301
302
303
304
305
  public IntExpArray createConstrainerVars(Var[] vars) {
    javax.constraints.impl.Problem p = (javax.constraints.impl.Problem)getProblem();
    Constrainer constrainer = p.getConstrainer();
    IntExpArray intvars = new IntExpArray(constrainer,vars.length);
    for(int i=0; i<vars.length; i++) {
      IntExp var = (IntExp)vars[i].getImpl();
      intvars.set(var, i);
    }
    return intvars;
  }
View Full Code Here
329
330
331
332
333
334
335
336
337
338
   
    Problem p = (Problem)getProblem();
    Constrainer constrainer = p.getConstrainer();
    IntExpArray intvars = new IntExpArray(constrainer,vars.length);
    for(int i=0; i<vars.length; i++) {
      IntExp var = (IntExp)vars[i].getImpl();
      intvars.set(var, i);
    }
    constrainer.trace(intvars);
  }
View Full Code Here
671
672
673
674
675
676
677
678
679
680
681
    // TODO
  }
 
  public void defineConstraintImpl(Constraint constraint, IntExp constrainerVar, String oper, Var var) {
    IntBoolExp exp;
    IntExp cvar = (IntExp) var.getImpl();
    Oper op = stringToOper(oper);
    switch (op) {
    case EQ:
      exp = constrainerVar.eq(cvar);
      break;
View Full Code Here
733
734
735
736
737
738
739
740
741
742
  public IntExpArray getExpArray(Var[] vars) {
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = new IntExpArray(constrainer, vars.length);
    for (int i = 0; i < vars.length; i++) {
      IntExp exp = (IntExp) vars[i].getImpl();
      cVars.set(exp, i);
    }
    return cVars;
  }
View Full Code Here
94
95
96
97
98
99
100
101
102
103
104
          " It cannot be used in logical expressions.");
    }
    javax.constraints.impl.Problem p = (javax.constraints.impl.Problem)getProblem(); 
    com.exigen.ie.constrainer.Constraint myConstraint =
      (com.exigen.ie.constrainer.Constraint)getImpl();
    IntExp exp = myConstraint.toIntBoolExp();
    if ( exp == null) {
      String msg = "Failure to convert constraint "+getName() + " to VarBool. Not implemented.";
      p.log(msg);
      throw new RuntimeException(msg);
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    super(vars[0].getProblem(),name);
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);
    try {
      IntExp cardinality = constrainer.cardinality(cVars,cardValue);
      problem.defineConstraintImpl(this, cardinality, oper, var);
    } catch (Exception f) {
      throw new RuntimeException(
          "Failure to create constraint "+name);
    }
View Full Code Here
TOP

Related Classes of com.exigen.ie.constrainer.IntExp

  • com.exigen.ie.constrainer.impl.ArcConsistency_1
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff$AllDiffMinMaxObserver
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff$AllDiffObserver
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff2
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff2$AllDiffObserver
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff3
  • com.exigen.ie.constrainer.impl.IntExpAddArray
  • com.exigen.ie.constrainer.impl.IntExpAddArray1
  • com.exigen.ie.constrainer.impl.IntExpArrayElement
    • 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.