Package javax.constraints.impl

Examples of javax.constraints.impl.Problem

325
326
327
328
329
330
331
332
333
334
335
336
  public void trace(Var[] vars, PropagationEvent event) {
    for (int i = 0; i < vars.length; i++) {
      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);
    }
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
42
public class AllDifferent extends Constraint {

  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);
    }
View Full Code Here
34
35
36
37
38
39
40
41
    IntBoolExp b2 = ((com.exigen.ie.constrainer.Constraint)myC2).toIntBoolExp();
    if (b2 == null)
      error(c2);
    IntBoolExp newConstraint;
    newConstraint = b1.or(b2);
    Problem p = (Problem)c1.getProblem();
    setImpl(p.getConstrainer().addConstraint(newConstraint));
  }
View Full Code Here
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
  /**
   * Example: cardinality(vars,cardValue) < var
   */
  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(
          "Failure to create constraint "+name);
    }
  }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
  /**
   * Example: cardinality(vars,cardVar) < var
   */
  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) {
      throw new RuntimeException(
          "Failure to create constraint "+name);
    }
  }
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
  /**
   * Example: cardinality(vars,cardValue) < value
   */
  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(
          "Failure to create constraint "+name);
    }
  }
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
  /**
   * Example: cardinality(vars,cardVar) < value
   */
  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) {
      throw new RuntimeException(
          "Failure to create constraint "+name);
    }
  }
View Full Code Here
94
95
96
97
98
99
100
101
102
103
104
105
106
107
  }
 

 
  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) {
View Full Code Here
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
          "Failure to create GlobalCardinality constraint");
    }   
  }
 
  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));
View Full Code Here
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
 
  static final String name = "Element";
 
  public Element(int[] array, Var indexVar, String oper, int value) {
    super(indexVar.getProblem(),name);
    Problem problem = (Problem) indexVar.getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntArray intValues = new IntArray(constrainer, array.length);
    for (int i = 0; i < array.length; i++) {
      intValues.set(array[i], i);
    }
    try {
      IntExp element = intValues.elementAt((IntExp) indexVar.getImpl());
      problem.defineConstraintImpl(this, element, oper, value);
    }
    catch (Exception f) {
      throw new RuntimeException("Failure to create constraint "+name);
    }
  }
View Full Code Here
TOP

Related Classes of javax.constraints.impl.Problem

  • com.exigen.ie.constrainer.Constrainer
  • com.exigen.ie.constrainer.ConstraintConst
  • com.exigen.ie.constrainer.IntBoolExp
  • com.exigen.ie.constrainer.IntExp
  • com.exigen.ie.constrainer.IntExpArray
  • javax.constraints.impl.constraint.And
  • java.util.HashSet
  • javax.constraints.impl.constraint.Or
  • java.util.Set
  • java.util.Iterator
    • 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.