BoolVar b = VF.bool("b", solver);
IntVar i = VF.bounded("i", VF.MIN_INT_BOUND, VF.MAX_INT_BOUND, solver);
SetVar s = VF.set("s", 2, 3, solver);
RealVar r = VF.real("r", 1.0, 2.2, 0.01, solver);
BoolVar[] bvars = solver.retrieveBoolVars();
Assert.assertEquals(bvars, new BoolVar[]{solver.ZERO, solver.ONE, b});
IntVar[] ivars = solver.retrieveIntVars();
Assert.assertEquals(ivars, new IntVar[]{i});