Exemplo n.º 1
0
 @Test(groups = "1s")
 public void testAdd() {
   Solver sol = new Solver();
   EnumDelta d = new EnumDelta(sol.getEnvironment());
   for (int i = 1; i < 40; i++) {
     d.add(i, Cause.Null);
     Assert.assertEquals(d.size(), i);
   }
 }
 public PropagationTrigger(IPropagationEngine engine, Solver solver) {
   this.engine = engine;
   this.environment = solver.getEnvironment();
   this.solver = solver;
   size = 0;
 }