Examples of kodkod.util.ints.IntSet.retainAll()

kodkod.util.ints.IntSet.retainAll()
Retains only the elements in this set that are contained in the specified set. @effects this.ints' = this.ints & { i: int | c.contains(i) } @return this.ints' != this.ints @throws NullPointerException - s = null @throws UnsupportedOperationException - this is an unmodifiable set

        if (lit > 0) posVars.add(lit);
        else negVars.add(-lit);
      }
    }
    
    posVars.retainAll(negVars);
    
    assert !posVars.isEmpty();
    final IntSet ret = new IntBitSet(posVars.max()+1);
    ret.addAll(posVars);

View Full Code Here

  private void refinePartitions(IntSet set) {
    for(ListIterator<IntSet> partsIter = parts.listIterator(); partsIter.hasNext(); ) {
      IntSet part = partsIter.next();
      IntSet intersection = Ints.bestSet(part.min(), part.max());
      intersection.addAll(part);
      intersection.retainAll(set);
      if (!intersection.isEmpty() && intersection.size() < part.size()) {
        part.removeAll(intersection);
        partsIter.add(intersection);
      }
    }

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.