Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package cpm
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create : int -> 'a tcreate n creates a 'a TopKeeper.t that will keep up to n best scoring elements. n must be greater than 0.
val add : 'a t -> float -> 'a -> unitadd t score elt add elt with score to the top_keeper t (if the score is good enough or if the top_keeper doesn't hold enough elements yet)
val high_scores_first : 'a t -> (float * 'a) listhigh_scores_first t retrieve the n best scores from t (with associated elements); scores are in decreasing order
val get_min_score : 'a t -> floatget_min_score t return the current minimum score in t
val get_curr_size : 'a t -> intget_curr_size t return the current number of elements in t. Note that get_curr_size t <= get_max_size t is always true (it is the data-structure invariant).
val get_max_size : 'a t -> intget_max_size t return the number of elements chosen at creation time