// 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) ret;
    super.add(a);
    truncateTreeSetWithDuplicates(this, maxSize);
  }
  
  selfType run() {
    action.get(result -> add(WithProbability(ps.currentProbability(), result));
    this;
  }
}