Package com.exigen.ie.constrainer

Examples of com.exigen.ie.constrainer.IntExp

50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
  class AllDiffObserver extends Observer
  {
    public void update(Subject var, EventOfInterest interest)
        throws Failure
    {
      IntExp event_var = (IntExp)var;
      //Debug.on(); Debug.print("AllDiffObserver("+var+") "+interest+" "+_bits); Debug.off();
      int value = event_var.value();
      // check for failure
      if (!_bit_var.contains(value))
      {
        //Debug.on();Debug.print("diff fail: "+interest+_intvars+_bits);Debug.off();
        var.constrainer().fail("AllDiff"); //+_bits +" "+_intvars);
      }

      // set the bit
      int size = _intvars.size();
      _bit_var.removeValue(value);  //Debug.on();Debug.print(" "+this+":  "+_bits);Debug.off();

      // additional propagation
      for(int i=0; i<size; i++)
      {
        IntExp vari = (IntExp)_intvars.elementAt(i);
        if (vari != event_var)
        {
          //Debug.on();Debug.print("alldiff remove "+value+" from "+vari);Debug.off();
          vari.removeValue(value); // may fail
        }
      }
    }
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
    super(vars[0].getProblem(), name);
    Problem problem = (Problem) vars[0].getProblem();
    Constrainer constrainer = problem.getConstrainer();
    IntExpArray intvars = new IntExpArray(constrainer, vars.length);
    for (int i = 0; i < vars.length; i++) {
      IntExp cvar = (IntExp) vars[i].getImpl();
      intvars.set(cvar, i);
    }
    IntExp sum = constrainer.sum(intvars);
    problem.defineConstraintImpl(this, sum, oper, var);
  }
View Full Code Here
112
113
114
115
116
117
118
119
   *
   * @param min
   *            int
   */
  public final  void setMin(int min) throws Exception {
    IntExp myVar = (IntExp) getImpl();
    myVar.setMin(min);
  }
View Full Code Here
120
121
122
123
124
125
126
127
  /**
   * @return current minimum for the domain of this variable
   */
  public final int getMin() {
    IntExp myVar = (IntExp) getImpl();
    return myVar.min();
  }
View Full Code Here
131
132
133
134
135
136
137
138
   *
   * @param value
   *            int
   */
  public final void removeValue(int value) throws Exception {
    IntExp myVar = (IntExp) getImpl();
    myVar.removeValue(value);
  }
View Full Code Here
143
144
145
146
147
148
149
150
   * This method is better to be redefined to take into consideration an actual
   * domain implementation.
   * @return the current number of values inside the domain of this variable
   */
  public final int getDomainSize() {
    IntExp myVar = (IntExp) getImpl();
    return myVar.size();
  }
View Full Code Here
156
157
158
159
160
161
162
163
   *
   * @param max
   *            int
   */
  public final void setMax(int max) throws Exception {
    IntExp myVar = (IntExp) getImpl();
    myVar.setMax(max);
  }
View Full Code Here
164
165
166
167
168
169
170
171
  /**
   * @return current maximum for the domain of this variable
   */
  public final int getMax() {
    IntExp myVar = (IntExp) getImpl();
    return myVar.max();
  }
View Full Code Here
172
173
174
175
176
177
178
179
  /**
   * @return true if the domain of the variable contains only one value
   */
  public final boolean isBound() {
    IntExp myVar = (IntExp) getImpl();
    return myVar.bound();
  }
View Full Code Here
181
182
183
184
185
186
187
188
  /**
   * Returns true if the domain of this variable contains the value.
   * @return true if the value is in the domain of this variable
   */
  public boolean contains(int value) {
    IntExp myVar = (IntExp) getImpl();
    return myVar.contains(value);
  }
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.