code wiki / (root) / nx_saturation_test.nx

nx_saturation_test.nx

buildroot/runtime/nx_saturation_test.nx

3390 B83 linesdepth 8pulls 11 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_saturation_test.nx -- saturation loop + factoring smoke.

dependencies 7 imports · 0 importers

nx_syscalls.nx nx_runtime.nx nx_tier.nx nx_result.nx nx_unify.nx nx_resolution.nx nx_saturation.nx nx_saturation_test.nx

imports: nx_syscalls.nxnx_runtime.nxnx_tier.nxnx_result.nxnx_unify.nxnx_resolution.nxnx_saturation.nx

imported by: nobody (leaf or entry point)

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

main println sys_write strlen sys_mmap sys_mmap ↻ nx_term_app sys_mmap ↻ nx_clause_new sys_mmap ↻ nx_clause_add nx_result_err sys_mmap ↻ nx_clause_lit_at nx_result_ok sys_mmap ↻ nx_lit_make sys_mmap ↻ nx_saturation_new sys_mmap ↻ nx_dt_new sys_mmap ↻ nx_dt_node_new sys_mmap ↻ nx_sat_add_unproc nx_result_err ↻ nx_sat_unproc_at nx_result_ok ↻ nx_sat_run nx_sat_pick_given nx_sat_unproc_at ↻ nx_sat_proc_at nx_sat_try_resolve_pair nx_clause_new ↻ nx_resolve nx_result_err ↻ nx_clause_lit_at ↻ nx_subst_new sys_mmap ↻ nx_unify

structs

none

consts

11const SYM_P: nx_int = 200
12const SYM_A: nx_int = 100

functions

14func main() -> nx_exit
calls 16: printlnsys_mmapnx_term_appnx_clause_newnx_clause_addnx_lit_make+10