@Test public void testUnsaturatedAddAll() { for(int i : TEST_BOUNDS) { BoundedSetFactory<String> bsf = new BoundedSetFactory<String>(i); BoundedSet<String> bs1 = boundedSet(bsf,0,i/2+1); BoundedSet<String> bs2 = boundedSet(bsf,i/2-1,i-1); bs1.addAll(bs2); assert(bs1.isSaturated() == false); assert(bs1.getSize() == i); assert(! bsf.top().equals(bs1)); } }
public BoundedSet<V> top() { return top; }
BoundedSetFactory { public BoundedSet<V> top() { return top; } }
BoundedSetFactory { public BoundedSet<V> top() { return top; } BoundedSetFactory(int limit); }
BoundedSetFactory { public BoundedSet<V> top() { return top; } BoundedSetFactory(int limit); BoundedSet<V> empty(); BoundedSet<V> singleton(V el); BoundedSet<V> top(); }
BoundedSetFactory { public BoundedSet<V> top() { return top; } BoundedSetFactory(int limit); BoundedSet<V> empty(); BoundedSet<V> singleton(V el); BoundedSet<V> top();  }