Solver solver = new Solver();
IntVar var = VariableFactory.enumerated("b", new int[]{1, 2, 4}, solver);
DisposableRangeIterator vit = var.getRangeIterator(false);
Assert.assertTrue(vit.hasPrevious());
Assert.assertEquals(4, vit.min());
Assert.assertEquals(4, vit.max());
vit.previous();
Assert.assertTrue(vit.hasPrevious());
Assert.assertEquals(1, vit.min());
Assert.assertEquals(2, vit.max());
vit.previous();