Package ai.domain.boxes

Examples of ai.domain.boxes.IntegerBoxes.leq()

212
213
214
215
216
217
218
219
220
221
222
    // compare
    if (boxesBox.equals(intvBox)) {
      cr.equal(vertice);
      return;
    }
    if (boxesBox.leq(intvBox)) {
      cr.boxesBetter(vertice);
      return;
    }

    if (intvBox.leq(boxesBox)) {
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
  public void leqOneDimension() {
    // 1 dimension
    IntegerBoxes first = getSingleBoxAndVerify(new IntervalValue(1, 2));
    IntegerBoxes second = getSingleBoxAndVerify(new IntervalValue(2, 4));
    org.junit.Assert.assertFalse(first.leq(second));
    org.junit.Assert.assertFalse(second.leq(first));

    first = getSingleBoxAndVerify(new IntervalValue(1, 7));
    second = getSingleBoxAndVerify(new IntervalValue(3, 4));
    org.junit.Assert.assertFalse(first.leq(second));
    org.junit.Assert.assertTrue(second.leq(first));
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
    org.junit.Assert.assertFalse(second.leq(first));

    first = getSingleBoxAndVerify(new IntervalValue(1, 7));
    second = getSingleBoxAndVerify(new IntervalValue(3, 4));
    org.junit.Assert.assertFalse(first.leq(second));
    org.junit.Assert.assertTrue(second.leq(first));

    first = getSingleBoxAndVerify(new IntervalValue(1, 7));
    second = getSingleBoxAndVerify(new IntervalValue(4, 5));
    verifyResult(first.meet(second), prepareBox(new IntervalValue(4, 5)));
    verifyResult(second.meet(first), prepareBox(new IntervalValue(4, 5)));
View Full Code Here
139
140
141
142
143
144
145
146
147
148
149
        getSingleBoxAndVerify(new IntervalValue(5,6), new IntervalValue(5, 6)));
    IntegerBoxes second = IntegerBoxesHelper.join(
        getSingleBoxAndVerify(new IntervalValue(0, 1)),
        getSingleBoxAndVerify(new IntervalValue(6, 6)));
    org.junit.Assert.assertFalse(first.leq(second));
    org.junit.Assert.assertTrue(second.leq(first));
  }

  @Test
  public void leqTwoDimensionsWithoutVarRemoval01() {
    IntegerBoxes first = IntegerBoxesHelper.join(
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
        getSingleBoxAndVerify(new IntervalValue(5,6), new IntervalValue(5, 6)));
    IntegerBoxes second = IntegerBoxesHelper.join(
        getSingleBoxAndVerify(new IntervalValue(0, 1), new IntervalValue(1,2)),
        getSingleBoxAndVerify(new IntervalValue(6, 6), new IntervalValue(5,5)));
    org.junit.Assert.assertFalse(first.leq(second));
    org.junit.Assert.assertTrue(second.leq(first));
  }

  @Test
  public void leqTwoDimensionsWithoutVarRemoval02() {
    // 1 dimension
View Full Code Here
164
165
166
167
168
169
170
171
172
173
174
        getSingleBoxAndVerify(new IntervalValue(5,6), new IntervalValue(5, 6)));
    IntegerBoxes second = IntegerBoxesHelper.join(
        getSingleBoxAndVerify(new IntervalValue(0, 1), new IntervalValue(1,3)),
        getSingleBoxAndVerify(new IntervalValue(6, 6), new IntervalValue(5,5)));
    org.junit.Assert.assertFalse(first.leq(second));
    org.junit.Assert.assertFalse(second.leq(first));
  }

  @Test
  public void leqThreeDimensionsWithVarRemoval01() {
    IntegerBoxes first = IntegerBoxesHelper.join(
View Full Code Here
176
177
178
179
180
181
182
183
184
185
186
        getSingleBoxAndVerify(new IntervalValue(5,6), new IntervalValue(5, 6), new IntervalValue(3, 3)));
    IntegerBoxes second = IntegerBoxesHelper.join(
        getSingleBoxAndVerify(new IntervalValue(0, 1), new IntervalValue(1,2)),
        getSingleBoxAndVerify(new IntervalValue(6, 6), new IntervalValue(5,5)));
    org.junit.Assert.assertFalse(first.leq(second));
    org.junit.Assert.assertTrue(second.leq(first));
  }

  @Test
  public void testIsTop() {
    IntegerBoxes b = IntegerBoxes.BOTTOM;
View Full Code Here
233
234
235
236
237
238
239
240
241
242
243
            new IntervalValue(2, Double.POSITIVE_INFINITY),
            new IntervalValue(Double.NEGATIVE_INFINITY, 0),
            new IntervalValue(1,1),
            new IntervalValue(1, Double.POSITIVE_INFINITY)));
    System.out.println(first.leq(second));
    System.out.println(second.leq(first));
  }
 
  @Test
  public void leqTest02() {
    // 1 dimension
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.