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

// not synchronized
srecord noeq PSCollectMostProbable<A>(
  int maxResults,
  IVF1<IVF1<WithProbability<A>>> action) implements IF0<Set<WithProbability<A>>> {
  
  new ProbabilisticScheduler ps;
  new SetOfMostProbable<A> results;
  bool verbose;
  
  *(int *maxResults,
    ProbabilisticScheduler *ps,
    IVF1<IVF1<WithProbability<A>>> *action) {}
  
  *(int *maxResults, IVF2<IProbabilisticScheduler, IVF1<WithProbability<A>>> action) {
    this.action = out -> action.get(ps, out);
  }
  
  void add(WithProbability<A> result) {
    results.add(result);
  }
  
  selfType run() {
    results.maxSize = maxResults;
    action.get(result -> add(result));
    this;
  }
  
  selfType verbose(bool verbose) { this.verbose = verbose; this; }
  
  // results sorted by probability. instant
  public Set<WithProbability<A>> results aka get() {
    ret results;
  }
}