public void testMax2() {
Solver solver = new Solver();
IntVar var = Max.var(VariableFactory.enumerated("a", new int[]{3, 4}, solver), VariableFactory.enumerated("b", new int[]{2, 5}, solver));
DisposableValueIterator vit = var.getValueIterator(false);
Assert.assertTrue(vit.hasPrevious());
Assert.assertEquals(5, vit.previous());
Assert.assertTrue(vit.hasPrevious());
Assert.assertEquals(4, vit.previous());
Assert.assertTrue(vit.hasPrevious());
Assert.assertEquals(3, vit.previous());
Assert.assertFalse(vit.hasPrevious());