code wiki / (root) / nx_bloom_capacity.nx

nx_bloom_capacity.nx

buildroot/runtime/nx_bloom_capacity.nx

3356 B84 linesdepth 4pulls 4 transitivereach 20 importersview sourcekind librarytopic bloom

docs dependencies structs consts functions

about

nx_bloom_capacity.nx -- FPR-profile constructor on top of nx_bloom. At the call site you usually know "how many items" and "what FPR is acceptable", not (m, k). This wraps nx_bloom.bloom_new to derive (m, k) from (n_items, fpr_profile). genealogy_id: bloom_1970 lineage_id: construction_helper

dependencies 3 imports · 14 importers

diagram shows first 10 each side; +0 more imports, +4 more importers in the complete lists below.

imports: nx_syscalls.nxnx_tier.nxnx_bloom.nx

imported by: nx_bloom_capacity_test.nxnx_coq_dir_ingest.nxnx_coq_stream_ingest_test.nxnx_hol_dir_ingest.nxnx_hol_stream_ingest_test.nxnx_ingest_runner.nxnx_ingest_runner_test.nxnx_isabelle_dir_ingest.nxnx_isabelle_stream_ingest_test.nxnx_lean_dir_ingest.nxnx_lean_stream_ingest_test.nxnx_mizar_dir_ingest.nxnx_mizar_stream_ingest_test.nxnx_rfc_dir_ingest.nx

structs

none

consts

19	const NX_MAGIC_1024: i64 = 1024
24	const NX_BLOOM_FPR_10PCT_BITS_Q10: nx_int = 4905
25	const NX_BLOOM_FPR_10PCT_K: nx_int = 3
26	const NX_BLOOM_FPR_5PCT_BITS_Q10: nx_int = 6390
27	const NX_BLOOM_FPR_5PCT_K: nx_int = 4
28	const NX_BLOOM_FPR_1PCT_BITS_Q10: nx_int = 9817
29	const NX_BLOOM_FPR_1PCT_K: nx_int = 7
30	const NX_BLOOM_FPR_P1PCT_BITS_Q10: nx_int = 14722
31	const NX_BLOOM_FPR_P1PCT_K: nx_int = 10
32	const NX_BLOOM_FPR_P01PCT_BITS_Q10: nx_int = 19628
33	const NX_BLOOM_FPR_P01PCT_K: nx_int = 13
35	const NX_BLOOM_PROFILE_10PCT: nx_int = 0
36	const NX_BLOOM_PROFILE_5PCT: nx_int = 1
37	const NX_BLOOM_PROFILE_1PCT: nx_int = 2
38	const NX_BLOOM_PROFILE_P1PCT: nx_int = 3
39	const NX_BLOOM_PROFILE_P01PCT: nx_int = 4

functions

43	func nx_bloom_next_pow2(n: nx_int) -> nx_int called by 3: nx_bloom_byte_cost nx_bloom_new_for_capacity main
49	func nx_bloom_profile_bits_q10(profile: nx_int) -> nx_int called by 1: nx_bloom_target_bits
57	func nx_bloom_profile_k(profile: nx_int) -> nx_int called by 2: nx_bloom_new_for_capacity main
65	func nx_bloom_target_bits(n_items: nx_int, profile: nx_int) -> nx_int called by 3: nx_bloom_byte_cost nx_bloom_new_for_capacity main calls 1: nx_bloom_profile_bits_q10
70	func nx_bloom_byte_cost(n_items: nx_int, profile: nx_int) -> nx_int called by 1: main calls 2: nx_bloom_target_bits nx_bloom_next_pow2
78	func nx_bloom_new_for_capacity(n_items: nx_int, profile: nx_int) -> *Bloom called by 2: main nx_ingest_run_new calls 4: nx_bloom_target_bits nx_bloom_next_pow2 nx_bloom_profile_k bloom_new