Package com.exigen.ie.constrainer

Examples of com.exigen.ie.constrainer.IntExpArray

33
34
35
36
37
38
39
40
41
42
43
44
45
46
  public AllDifferent(Var[] vars) {
    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);
    setImpl(constrainer.addConstraint(allDiff));
View Full Code Here
294
295
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
327
328
329
330
331
332
333
334
335
336
337
338
      trace(vars[i],event);
    }
   
    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
731
732
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
37
38
39
40
41
42
43
44
45
46
47
   */
  public Cardinality(Var[] vars, int cardValue, String oper, Var var) {
    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(
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
   */
  public Cardinality(Var[] vars, Var cardVar, String oper, Var var) {
    super(vars[0].getProblem(),name);
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);
    try {
      IntExp cVar = (IntExp) cardVar.getImpl();
      IntExp cardinality = constrainer.cardinality(cVars,cVar);
      problem.defineConstraintImpl(this, cardinality, oper, var);
    } catch (Exception f) {
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
   */
  public Cardinality(Var[] vars, int cardValue, String oper, int value) {
    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, value);
    } catch (Exception f) {
      throw new RuntimeException(
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
   */
  public Cardinality(Var[] vars, Var cardVar, String oper, int value) {
    super(vars[0].getProblem(),name);
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);
    try {
      IntExp cVar = (IntExp) cardVar.getImpl();
      IntExp cardinality = constrainer.cardinality(cVars,cVar);
      problem.defineConstraintImpl(this, cardinality, oper, value);
    } catch (Exception f) {
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
108
109
 
  public void defineNativeImpl(Var[] vars, Var[] cardVars, int[] values) {
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);   
    IntExpArray cCardinalityVars = problem.getExpArray(cardVars);
    try {
      IntExpArray cards = constrainer.distribute(cVars,values);
      Constraint newC = new ConstrainerIntExpArrayEq(cards,cCardinalityVars);
      setImpl(constrainer.addConstraint(newC));
    } catch (Exception f) {
      throw new RuntimeException(
          "Failure to create GlobalCardinality constraint");
View Full Code Here
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
  }
 
  public void defineNativeImpl(Var[] vars, Var[] cardVars, Var[] valueVars) {
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray cVars = problem.getExpArray(vars);
    IntExpArray cValueVars = problem.getExpArray(valueVars);
    IntExpArray cCardVars = problem.getExpArray(valueVars);
    try {
      IntArrayCards givenCards = cCardVars.cards();
      IntArrayCards distributedCards = constrainer.distribute(cVars,cValueVars);
      Constraint newC = new ConstrainerArrayCardsEq(distributedCards,givenCards);
      setImpl(constrainer.addConstraint(newC));
    } catch (Exception f) {
      throw new RuntimeException(
View Full Code Here
TOP

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

  • com.exigen.ie.constrainer.impl.ConstraintAllDiff2
  • com.exigen.ie.constrainer.impl.ConstraintAllDiff3
  • com.exigen.ie.constrainer.impl.IntExpArrayElement1
  • com.exigen.ie.constrainer.impl.IntExpArrayElement1$AdvancedMapping
  • com.exigen.ie.constrainer.impl.IntExpArrayElement1$CopyElementsIterator
  • com.exigen.ie.constrainer.impl.IntExpCardIntExp
  • com.exigen.ie.constrainer.impl.IntSetVarImpl
  • com.exigen.ie.scheduler.GoalSetTimes
  • com.exigen.ie.scheduler.ResourceDiscrete
  • java.util.Comparator
    • 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.