public void testAddAllOrdering2 () { for (int rep = 0; rep < 1000; rep++) { Variable[] vars = new Variable[] { new Variable(2), new Variable (2) }; Universe uni = vars[0].getUniverse (); ListVarSet vs = new ListVarSet (uni, new ArrayList ()); vs.addAll (Arrays.asList (vars)); checkOrdering (vs, vars); } }
public void testAddAllOrdering2 () { for (int rep = 0; rep < 1000; rep++) { Variable[] vars = new Variable[] { new Variable(2), new Variable (2) }; Universe uni = vars[0].getUniverse (); ListVarSet vs = new ListVarSet (uni, new ArrayList ()); vs.addAll (Arrays.asList (vars)); checkOrdering (vs, vars); } }
public void testAddAllOrdering () { for (int rep = 0; rep < 1000; rep++) { Variable[] vars = new Variable[] { new Variable(2), new Variable (2) }; Universe uni = vars[0].getUniverse (); ListVarSet vs = new ListVarSet (uni, Arrays.asList (vars)); checkOrdering (vs, vars); } }
public void testAddAllOrdering () { for (int rep = 0; rep < 1000; rep++) { Variable[] vars = new Variable[] { new Variable(2), new Variable (2) }; Universe uni = vars[0].getUniverse (); ListVarSet vs = new ListVarSet (uni, Arrays.asList (vars)); checkOrdering (vs, vars); } }
public void testAddAllOrdering3 () { for (int rep = 0; rep < 1000; rep++) { Variable[] vars = new Variable[] { new Variable(2), new Variable (2) }; Universe uni = vars[0].getUniverse (); ListVarSet vsOld = new ListVarSet (uni, Arrays.asList (vars)); ListVarSet vs = new ListVarSet (vsOld); checkOrdering (vs, vars); } }
public void testAddAllOrdering3 () { for (int rep = 0; rep < 1000; rep++) { Variable[] vars = new Variable[] { new Variable(2), new Variable (2) }; Universe uni = vars[0].getUniverse (); ListVarSet vsOld = new ListVarSet (uni, Arrays.asList (vars)); ListVarSet vs = new ListVarSet (vsOld); checkOrdering (vs, vars); } }
public void testIntersectionOrderingToHash () { for (int rep = 0; rep < 1000; rep++) { Variable[] varr1 = new Variable[] { new Variable(2), new Variable (2), new Variable (2) }; Variable[] varr2 = new Variable[] { varr1[0], varr1[1] }; Universe uni = varr1[0].getUniverse (); ListVarSet vs1 = new ListVarSet (uni, Arrays.asList (varr1)); VarSet vs2 = new HashVarSet (Arrays.asList (varr2)); VarSet vs_inter = new HashVarSet (vs1.intersection (vs2)); checkOrdering (vs_inter, varr2); VarSet vs_inter2 = new HashVarSet (vs2.intersection (vs1)); checkOrdering (vs_inter2, varr2); } }
public void testIntersectionOrderingToHash () { for (int rep = 0; rep < 1000; rep++) { Variable[] varr1 = new Variable[] { new Variable(2), new Variable (2), new Variable (2) }; Variable[] varr2 = new Variable[] { varr1[0], varr1[1] }; Universe uni = varr1[0].getUniverse (); ListVarSet vs1 = new ListVarSet (uni, Arrays.asList (varr1)); VarSet vs2 = new HashVarSet (Arrays.asList (varr2)); VarSet vs_inter = new HashVarSet (vs1.intersection (vs2)); checkOrdering (vs_inter, varr2); VarSet vs_inter2 = new HashVarSet (vs2.intersection (vs1)); checkOrdering (vs_inter2, varr2); } }
public void testIntersectionOrderingToBit () { for (int rep = 0; rep < 1000; rep++) { Variable[] varr1 = new Variable[] { new Variable(2), new Variable (2), new Variable (2) }; Variable[] varr2 = new Variable[] { varr1[0], varr1[1] }; Universe uni = varr1[0].getUniverse (); ListVarSet vs1 = new ListVarSet (uni, Arrays.asList (varr1)); VarSet vs2 = new BitVarSet (uni, Arrays.asList (varr2)); VarSet vs_inter = new HashVarSet (vs1.intersection (vs2)); checkOrdering (vs_inter, varr2); VarSet vs_inter2 = new HashVarSet (vs2.intersection (vs1)); checkOrdering (vs_inter2, varr2); } }
public void testIntersectionOrdering () { for (int rep = 0; rep < 1000; rep++) { Variable[] varr1 = new Variable[] { new Variable(2), new Variable (2), new Variable (2) }; Variable[] varr2 = new Variable[] { varr1[0], varr1[1] }; Universe uni = varr1[0].getUniverse (); ListVarSet vs1 = new ListVarSet (uni, Arrays.asList (varr1)); ListVarSet vs2 = new ListVarSet (uni, Arrays.asList (varr2)); VarSet vs_inter = new HashVarSet (vs1.intersection (vs2)); checkOrdering (vs_inter, varr2); VarSet vs_inter2 = new HashVarSet (vs2.intersection (vs1)); checkOrdering (vs_inter2, varr2); } }
public void testIntersectionOrdering () { for (int rep = 0; rep < 1000; rep++) { Variable[] varr1 = new Variable[] { new Variable(2), new Variable (2), new Variable (2) }; Variable[] varr2 = new Variable[] { varr1[0], varr1[1] }; Universe uni = varr1[0].getUniverse (); ListVarSet vs1 = new ListVarSet (uni, Arrays.asList (varr1)); ListVarSet vs2 = new ListVarSet (uni, Arrays.asList (varr2)); VarSet vs_inter = new HashVarSet (vs1.intersection (vs2)); checkOrdering (vs_inter, varr2); VarSet vs_inter2 = new HashVarSet (vs2.intersection (vs1)); checkOrdering (vs_inter2, varr2); } }
public void testIntersectionOrderingToBit () { for (int rep = 0; rep < 1000; rep++) { Variable[] varr1 = new Variable[] { new Variable(2), new Variable (2), new Variable (2) }; Variable[] varr2 = new Variable[] { varr1[0], varr1[1] }; Universe uni = varr1[0].getUniverse (); ListVarSet vs1 = new ListVarSet (uni, Arrays.asList (varr1)); VarSet vs2 = new BitVarSet (uni, Arrays.asList (varr2)); VarSet vs_inter = new HashVarSet (vs1.intersection (vs2)); checkOrdering (vs_inter, varr2); VarSet vs_inter2 = new HashVarSet (vs2.intersection (vs1)); checkOrdering (vs_inter2, varr2); } }