CPSolver.Search.Utils (Fixpoint v0.20.6)
Link to this section Summary
Link to this section Functions
Link to this function
make_reducer(initial, reducer_fun)
Link to this function
maximals(data, max_by_fun)
Link to this function
maximals_reducer(max_by_fun)
Link to this function
minimals(data, min_by_fun)
Link to this function