Package ai.domain.boxes

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


  public void meetOneDimension() {
    // 1 dimension
    IntegerBoxes first = getSingleBoxAndVerify(new IntervalValue(1, 2));
    IntegerBoxes second = getSingleBoxAndVerify(new IntervalValue(2, 4));
    verifyResult(first.meet(second), prepareBox(new IntervalValue(2, 2)));
    verifyResult(second.meet(first), prepareBox(new IntervalValue(2, 2)));

    first = getSingleBoxAndVerify(new IntervalValue(1, 2));
    second = getSingleBoxAndVerify(new IntervalValue(3, 4));
    verifyResult(first.meet(second));
    verifyResult(second.meet(first));
View Full Code Here


    verifyResult(second.meet(first), prepareBox(new IntervalValue(2, 2)));

    first = getSingleBoxAndVerify(new IntervalValue(1, 2));
    second = getSingleBoxAndVerify(new IntervalValue(3, 4));
    verifyResult(first.meet(second));
    verifyResult(second.meet(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

    verifyResult(second.meet(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)));
  }

  @Test
  public void leqOneDimension() {
    // 1 dimension
View Full Code Here

    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)));
  }

  @Test
  public void leqTwoDimensionsWithVarRemoval() {
    // 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.