@Test(groups = "1s")
public void testEnum2() {
Solver solver = new Solver();
IntVar var = VariableFactory.enumerated("b", new int[]{1, 2, 4}, solver);
DisposableValueIterator vit = var.getValueIterator(false);
Assert.assertTrue(vit.hasPrevious());
Assert.assertEquals(4, vit.previous());
Assert.assertTrue(vit.hasPrevious());
Assert.assertEquals(2, vit.previous());
Assert.assertTrue(vit.hasPrevious());
Assert.assertEquals(1, vit.previous());
Assert.assertFalse(vit.hasPrevious());
}