Assert.assertEquals(bvars, new BoolVar[]{solver.ZERO, solver.ONE, b});
IntVar[] ivars = solver.retrieveIntVars();
Assert.assertEquals(ivars, new IntVar[]{i});
SetVar[] svars = solver.retrieveSetVars();
Assert.assertEquals(svars, new SetVar[]{s});
RealVar[] rvars = solver.retrieveRealVars();
Assert.assertEquals(rvars, new RealVar[]{r});