code wiki / (root) / sketch_misra_gries_test.nx

sketch_misra_gries_test.nx

buildroot/runtime/sketch_misra_gries_test.nx

4695 B116 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic sketch
docsdependenciesstructsconstsfunctions

about

sketch_misra_gries_test.nx -- MG heavy hitters (under-estimate variant).

dependencies 3 imports · 0 importers

syscalls.nx sketch_misra_gries.nx sketch_types.nx sketch_misra_gries_test.nx

imports: syscalls.nxsketch_misra_gries.nxsketch_types.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_mg_alloc nx_mg_estimate nx_mg_find_key nx_mg_counter_at nx_mg_counter_at ↻ nx_mg_add nx_mg_find_key ↻ nx_mg_counter_at ↻ nx_mg_find_empty nx_mg_counter_at ↻ nx_mg_min_count nx_mg_counter_at ↻ if_le nx_mg_n_tracked nx_mg_counter_at ↻ nx_mg_query nx_mg_estimate ↻ nx_approx_new nx_mg_max_undercount

structs

none

consts

none

functions

7func iabs(x: i64) -> i64 {
12func main() -> i64 {
calls 5: nx_mg_allocnx_mg_estimatenx_mg_addnx_mg_n_trackednx_mg_query