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 (); BitVarSet vs = new BitVarSet (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 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 (); BitVarSet vs = new BitVarSet (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 (); BitVarSet vs = new BitVarSet (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 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 (); BitVarSet vs = new BitVarSet (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 testAddAllOrdering3 () { for (int rep = 0; rep < 1000; rep++) { Variable[] vars = new Variable[] { new Variable(2), new Variable (2) }; Universe uni = vars[0].getUniverse (); BitVarSet vsOld = new BitVarSet (uni, Arrays.asList (vars)); BitVarSet vs = new BitVarSet (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 (); BitVarSet vsOld = new BitVarSet (uni, Arrays.asList (vars)); BitVarSet vs = new BitVarSet (vsOld); checkOrdering (vs, vars); } }
private void addVarsIfNecessary (VarSet varSet) { for (int i = 0; i < varSet.size(); i++) { Variable var = varSet.get (i); if (universe == null) { universe = var.getUniverse (); } if (getIndex (var) < 0) { cacheVariable (var); } } }
private void addVarsIfNecessary (VarSet varSet) { for (int i = 0; i < varSet.size(); i++) { Variable var = varSet.get (i); if (universe == null) { universe = var.getUniverse (); } if (getIndex (var) < 0) { cacheVariable (var); } } }
private void addVarsIfNecessary (VarSet varSet) { for (int i = 0; i < varSet.size(); i++) { Variable var = varSet.get (i); if (universe == null) { universe = var.getUniverse (); } if (getIndex (var) < 0) { cacheVariable (var); } } }
public void testEquals () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c = new ListVarSet (uni, Arrays.asList (new Variable[] { vars[0], vars[3] })); HashVarSet c2 = new HashVarSet (c); assertTrue (c2.equals (c)); assertTrue (c.equals (c2)); }
public void testEquals () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c = new ListVarSet (uni, Arrays.asList (new Variable[] { vars[0], vars[3] })); HashVarSet c2 = new HashVarSet (c); assertTrue (c2.equals (c)); assertTrue (c.equals (c2)); }
public void testHashCodeByHashVarSet () { Variable[] vars = new Variable [2]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c1 = new ListVarSet (uni, Arrays.asList (vars)); HashVarSet c2 = new HashVarSet (vars); assertTrue (c1.equals (c2)); assertEquals (c1.hashCode (), c2.hashCode ()); }
public void testEqualsHashCode () { Variable[] vars = new Variable [4]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); BitVarSet c1 = new BitVarSet (uni, Arrays.asList (vars)); BitVarSet c2 = new BitVarSet (uni, Arrays.asList (vars)); assertTrue(c1.equals (c2)); assertTrue(c2.equals (c1)); assertEquals (c1.hashCode(), c2.hashCode ()); }
public void testHashCodeByHashVarSet () { Variable[] vars = new Variable [2]; for (int i = 0; i < vars.length; i++) { vars[i] = new Variable(3); } Universe uni = vars[0].getUniverse (); ListVarSet c1 = new ListVarSet (uni, Arrays.asList (vars)); HashVarSet c2 = new HashVarSet (vars); assertTrue (c1.equals (c2)); assertEquals (c1.hashCode (), c2.hashCode ()); }