@Test public void testUnsaturatedAdd() { for(int i : TEST_BOUNDS) { BoundedSetFactory<String> bsf = new BoundedSetFactory<String>(i); BoundedSet<String> bs = boundedSet(bsf,0,i-1); String t = getElement(i-1); bs.add(t); assert(bs.isSaturated() == false); assert(bs.getSize() == i); assert(! bsf.top().equals(bs)); } }
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();  }