class IntSet11d extends IntSet11
{
// Adds a copy to sets implemented using linked lists
// Copy method uses iteration and reverses contents (but
// order doesn't matter in sets anyway).

 public IntSet11d()
 {
  super();
 }

 private IntSet11d(Cell l)
 {
  list=l;
 }
 
 public IntSet11d copy()
 {
  Cell list1=null;
  for(Cell ptr=list; ptr!=null; ptr=ptr.next)
      list1 = new Cell(ptr.first,list1);
  return new IntSet11d(list1);
 }
}