// always keeps a dynamically updated list of the n most probable
// results

// not synchronized
sclass SetOfMostProbable<A> extends TreeSetWithDuplicates<WithProbability<A>> {
  int maxSize = 10;

  *() {}
  *(int *maxSize) {}
  
  public bool add(WithProbability<A> a) {
    if (a == null) false;
    super.add(a);
    truncate();
    true;
  }
  
  void setMaxSize(int maxSize) {
    this.maxSize = maxSize;
    truncate();
  }
  
  void truncate {
    truncateTreeSetWithDuplicates(this, maxSize);
  }
}

Began life as a copy of #1032061