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