static void postTeamConstraints(IntSetVar E, int n, int[] nbMembers, IntSetVarArray memberSets)
     throws Failure {
   C.postConstraint(E.cardinality().eq(n));
   for (int i = 0; i < nbMembers.length; i++) {
     C.postConstraint(E.intersectionWith(memberSets.get(i)).cardinality().ge(nbMembers[i]));
   }
 }
  public void testEventPropagation() {
    class IntSetVarValueObserver extends Observer {
      int counter = 0;

      @Override
      public Object master() {
        return this;
      }

      @Override
      public int subscriberMask() {
        return IntSetEventConstants.VALUE;
      }

      @Override
      public void update(Subject var, EventOfInterest ev) throws Failure {
        // IntSetVar.IntSetEvent e = (IntSetVar.IntSetEvent)ev;

        System.out.println("value#" + counter + " obtained: " + ((IntSetVar) var).value());
        counter++;
      }
    }

    IntSetVar var1 = C.addIntSetVar(new int[] {1, 2, 3, 4, 5, 6, 7});
    var1.attachObserver(new IntSetVarValueObserver());
    IntSetVar var2 = C.addIntSetVar(new int[] {5, 6, 7, 8, 9, 10, 11});
    IntSetVar var3 = C.addIntSetVar(new int[] {28, 78, 23, 1, 4, 7});

    IntSetVarArray array = new IntSetVarArray(C, 1);
    array.set(var1, 0);

    Goal generate = new GoalIntSetGenerate(array);

    IntExp intersectionWithVar2 = var1.intersectionWith(var2).cardinality();
    IntExp intersectionWithVar3 = var1.intersectionWith(var3).cardinality();

    Goal alt1 = new GoalMinimize(generate, intersectionWithVar2.neg());
    Goal alt2 = new GoalMinimize(generate, intersectionWithVar3.neg());

    alt1 = new GoalAnd(alt1, new GoalFail(C));

    Goal main = new GoalOr(alt1, alt2);
    C.execute(main);
    System.out.println("Succeeded");
  }
Esempio n. 3
0
 public void testExecute() {
   IntVar a = C.addIntVar(0, 10, "a", IntVar.DOMAIN_PLAIN);
   IntVar b = C.addIntVar(0, 10, "b", IntVar.DOMAIN_PLAIN);
   try {
     C.postConstraint(a.add(b).gt(4));
     C.postConstraint(a.add(b).lt(6));
     C.postConstraint(a.le(b));
     C.postConstraint(a.mul(b).eq(6));
     Goal gen = new GoalAnd(new GoalInstantiate(a), new GoalInstantiate(b));
     boolean flag = C.execute(gen);
     assertTrue("Can't generate any solution", flag);
     assertEquals("a = " + a.value(), a.value(), 2);
     assertEquals("b = " + b.value(), b.value(), 3);
   } catch (Failure f) {
     f.printStackTrace();
   } catch (Throwable ex) {
     fail("Unexpected exception has been thrown");
   }
 }
Esempio n. 4
0
  public void testExecute1() {
    IntVar var = C.addIntVar(0, 10, "var", IntVar.DOMAIN_PLAIN);

    class GoalSuccess extends GoalImpl {
      GoalSuccess() {
        super(C, "GoalSuccess");
      }

      public Goal execute() throws Failure {
        return null;
      }
    }

    class GoalOutput extends GoalImpl {
      private String _str = null;

      GoalOutput(String str) {
        super(C, "");
        _str = str;
      }

      public Goal execute() throws Failure {
        fail(_str);
        return null;
      }
    }

    assertTrue(C.execute(new GoalAnd(new GoalSetMin(var, 2), new GoalSetMax(var, 8))));
    assertTrue((var.min() == 2) && (var.max() == 8));
    assertTrue(!C.execute(new GoalAnd(new GoalSetMin(var, 5), new GoalSetMax(var, 4))));
    assertTrue(!C.execute(new GoalAnd(new GoalFail(C), new GoalSuccess())));
    assertTrue(
        !C.execute(
            new GoalAnd(
                new GoalFail(C),
                new GoalOutput(
                    "Test Failed:"
                        + "Both subgoals of GoalAnd has been executed despite the fact that the first subgoal failed"))));
  }
  /** Creates a new expression for a given class, args, and types. */
  Expression createExpression(Class c, Object[] args, Class[] types) {
    try {
      Constructor constr = c.getConstructor(types);
      constr.setAccessible(true); // to create not public implementations
      return (Expression) constr.newInstance(args);
    } catch (Exception e) {
      String msg =
          "Error creating expression: "
              + e.getClass().getName()
              + ": "
              + e.getMessage()
              + ": "
              + c.getName();

      Constrainer.abort(msg, e);
      return null;
    }
  }
    static void test() {
      IntSetVarArray memberSets = new IntSetVarArray(C, 5);

      memberSets.set(Stewards, 0);
      memberSets.set(Hostesses, 1);
      memberSets.set(French, 2);
      memberSets.set(German, 3);
      memberSets.set(Spanish, 4);

      try {
        for (int i = 0; i < crews.size() - 1; i++) {
          crews.get(i).nullIntersectWith(crews.get(i + 1)).execute();
          if ((i + 2) < 10) {
            crews.get(i).nullIntersectWith(crews.get(i + 2)).execute();
          }
        }

        for (int i = 0; i < crews.size(); i++) {
          postTeamConstraints(
              crews.get(i),
              req[i][iNbMembers],
              new int[] {
                req[i][iStewards],
                req[i][iHostesses],
                req[i][iFrench],
                req[i][iGerman],
                req[i][iSpanish]
              },
              memberSets);
        }

        assertTrue(
            "Solution for crews task wasn't found", C.execute(new GoalIntSetGenerate(crews)));
        checkResults(crews);

      } catch (Failure f) {
        fail("test failed due to Failure exception's being thrown");
      }
    }
  public void testIntersection() {
    int[] array1 = {1, 2, 3, 4, 5, 6, 7};
    int[] array2 = {1, 2, 7, 9, 4};

    Constrainer C = new Constrainer("test");
    IntSetVar var2 = C.addIntSetVar(array1);
    IntSetVar var1 = C.addIntSetVar(array2);

    IntSetVar var3 = var2.intersectionWith(var1);
    try {
      C.postConstraint(var3.cardinality().eq(2));
      IntSetVarArray array = new IntSetVarArray(C, 2);
      array.set(var1, 0);
      array.set(var2, 1);

      assertTrue(C.execute(new GoalIntSetGenerate(array)));
      assertTrue(intersectionCardinality(var2.requiredSet(), var1.requiredSet()) == 2);
    } catch (Failure f) {
      fail("test failed: " + f);
    }

    var1 = C.addIntSetVar(new int[] {1, 2, 3, 4, 5});
    var2 = C.addIntSetVar(new int[] {4, 5, 6, 7, 8});
    var3 = var2.intersectionWith(var1);

    try {
      IntSetVarArray array = new IntSetVarArray(C, 2);
      array.set(var1, 0);
      array.set(var2, 1);
      assertTrue(
          C.execute(new GoalFastMinimize(new GoalIntSetGenerate(array), var3.cardinality().neg())));
      assertTrue(var1.value().contains(new Integer(4)));
      assertTrue(var1.value().contains(new Integer(5)));
      assertTrue(var2.value().contains(new Integer(4)));
      assertTrue(var2.value().contains(new Integer(5)));
    } catch (Failure f) {
      fail("test failed: " + f);
    }
  }
  static class TestCrews {
    static Constrainer C = new Constrainer("");

    static final String[] names = {
      "Tom", "David", "Jeremy", "Ron", "Joe", "Bill", "Fred", "Bob", "Mario", "Ed", "Carol",
      "Janet", "Tracy", "Marilyn", "Carolyn", "Cathy", "Inez", "Jean", "Heather", "Juliet"
    };

    static final int Tom = 0,
        David = 1,
        Jeremy = 2,
        Ron = 3,
        Joe = 4,
        Bill = 5,
        Fred = 6,
        Bob = 7,
        Mario = 8,
        Ed = 9,
        Carol = 10,
        Janet = 11,
        Tracy = 12,
        Marilyn = 13,
        Carolyn = 14,
        Cathy = 15,
        Inez = 16,
        Jean = 17,
        Heather = 18,
        Juliet = 19;
    static final int iNbMembers = 0,
        iStewards = 1,
        iHostesses = 2,
        iFrench = 3,
        iSpanish = 4,
        iGerman = 5;

    static int[] Staff = {
      Tom, David, Jeremy, Ron, Joe, Bill, Fred, Bob, Mario, Ed, Carol, Janet, Tracy, Marilyn,
      Carolyn, Cathy, Inez, Jean, Heather, Juliet
    };

    static IntSetVar Stewards =
        C.addIntSetVar(
            new int[] {Tom, David, Jeremy, Ron, Joe, Bill, Fred, Bob, Mario, Ed}, "Stewards");

    static IntSetVar Hostesses =
        C.addIntSetVar(
            new int[] {Carol, Janet, Tracy, Marilyn, Carolyn, Cathy, Inez, Jean, Heather, Juliet},
            "Hostesses");

    static IntSetVar French = C.addIntSetVar(new int[] {Inez, Bill, Jean, Juliet}, "French");
    static IntSetVar German =
        C.addIntSetVar(new int[] {Tom, Jeremy, Mario, Cathy, Juliet}, "German");
    static IntSetVar Spanish =
        C.addIntSetVar(new int[] {Bill, Fred, Joe, Mario, Marilyn, Inez, Heather}, "Spanish");

    static IntSetVarArray crews = new IntSetVarArray(C, 10, "crews");

    private static int[][] req = {
      /*
       * crew nbMembers stewards hostesses
       * french spanish german
       */
      /* #1 */ {4, 1, 1, 1, 1, 1},
      /* #2 */ {5, 1, 1, 1, 1, 1},
      /* #3 */ {5, 1, 1, 1, 1, 1},
      /* #4 */ {6, 2, 2, 1, 1, 1},
      /* #5 */ {7, 3, 3, 1, 1, 1},
      /* #6 */ {4, 1, 1, 1, 1, 1},
      /* #7 */ {5, 1, 1, 1, 1, 1},
      /* #8 */ {6, 1, 1, 1, 1, 1},
      /* #9 */ {6, 2, 2, 1, 1, 1},
      /* #10 */ {7, 3, 3, 1, 1, 1},
    };

    static {
      C.showInternalNames(true);
      for (int i = 0; i < crews.size(); i++) {
        crews.set(C.addIntSetVar(Staff, "flight#" + i), i);
      }
    };

    static void checkResults(IntSetVarArray array) {
      int size = array.size();
      for (int i = 0; i < size; i++) {
        IntSetVar var = array.get(i);
        Set checkSet = var.requiredSet();
        assertTrue(checkSet.size() >= req[i][iNbMembers]);
        assertTrue(intersectionCardinality(checkSet, Stewards.possibleSet()) >= req[i][iStewards]);
        assertTrue(
            intersectionCardinality(checkSet, Hostesses.possibleSet()) >= req[i][iHostesses]);
        assertTrue(intersectionCardinality(checkSet, French.possibleSet()) >= req[i][iFrench]);
        assertTrue(intersectionCardinality(checkSet, German.possibleSet()) >= req[i][iGerman]);
        assertTrue(intersectionCardinality(checkSet, Spanish.possibleSet()) >= req[i][iSpanish]);
      }
      for (int i = 0; i < size - 2; i++) {
        assertTrue(
            intersectionCardinality(array.get(i).requiredSet(), array.get(i + 1).requiredSet())
                == 0);
      }

      assertTrue(
          intersectionCardinality(
                  array.get(size - 2).requiredSet(), array.get(size - 1).requiredSet())
              == 0);
    }

    static void postTeamConstraints(IntSetVar E, int n, int[] nbMembers, IntSetVarArray memberSets)
        throws Failure {
      C.postConstraint(E.cardinality().eq(n));
      for (int i = 0; i < nbMembers.length; i++) {
        C.postConstraint(E.intersectionWith(memberSets.get(i)).cardinality().ge(nbMembers[i]));
      }
    }

    static void printResults() {
      printSetArray(crews, true);
    }

    static void printSet(IntSetVar var, boolean requiredOnly) {
      System.out.print(var.name());
      Iterator iter;
      if (requiredOnly) {
        System.out.print(": ");
        iter = var.requiredSet().iterator();
      } else {
        System.out.print("(possibleSet)" + ": ");
        iter = var.possibleSet().iterator();
      }
      while (iter.hasNext()) {
        Integer val = (Integer) iter.next();
        System.out.print(names[val.intValue()] + (iter.hasNext() ? ", " : ""));
      }
    }

    static void printSetArray(IntSetVarArray array, boolean requiredOnly) {
      for (int i = 0; i < array.size(); i++) {
        printSet(array.get(i), requiredOnly);
        System.out.println("");
      }
    }

    static void test() {
      IntSetVarArray memberSets = new IntSetVarArray(C, 5);

      memberSets.set(Stewards, 0);
      memberSets.set(Hostesses, 1);
      memberSets.set(French, 2);
      memberSets.set(German, 3);
      memberSets.set(Spanish, 4);

      try {
        for (int i = 0; i < crews.size() - 1; i++) {
          crews.get(i).nullIntersectWith(crews.get(i + 1)).execute();
          if ((i + 2) < 10) {
            crews.get(i).nullIntersectWith(crews.get(i + 2)).execute();
          }
        }

        for (int i = 0; i < crews.size(); i++) {
          postTeamConstraints(
              crews.get(i),
              req[i][iNbMembers],
              new int[] {
                req[i][iStewards],
                req[i][iHostesses],
                req[i][iFrench],
                req[i][iGerman],
                req[i][iSpanish]
              },
              memberSets);
        }

        assertTrue(
            "Solution for crews task wasn't found", C.execute(new GoalIntSetGenerate(crews)));
        checkResults(crews);

      } catch (Failure f) {
        fail("test failed due to Failure exception's being thrown");
      }
    }
  } // ~TestCrews
 static {
   C.showInternalNames(true);
 }
Esempio n. 10
0
 static {
   C.showInternalNames(true);
   for (int i = 0; i < crews.size(); i++) {
     crews.set(C.addIntSetVar(Staff, "flight#" + i), i);
   }
 };