code wiki / (root) / nx_rigbench_motion_gate.nx

nx_rigbench_motion_gate.nx

buildroot/runtime/nx_rigbench_motion_gate.nx

6428 B91 linesdepth 4pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic rigbench
docsdependenciesstructsconstsfunctions

about

Native rigbench temporal and consumer negative controls.

dependencies 3 imports · 0 importers

nx_rigbench_motion.nx nx_gate_verdict.nx nx_readcap_lib.nx nx_rigbench_motion_gate.nx

imports: nx_rigbench_motion.nxnx_gate_verdict.nxnx_readcap_lib.nx

imported by: nobody (leaf or entry point)

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

main gv_head gv_puts sys_write gv_ctr sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_check_eq gv_check gv_puts ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap rb_motion_pair rb_motion_init rb_motion_fail na_index na_rows na_rows_indexed na_eval_track_ordered na_eval_key na_key_t na_key_q nf_qnorm na_key_d

structs

none

consts

5const RBG_JOINTS: i64 = 1
6const RBG_ANIM_WORDS: i64 = 8
7const RBG_END: i64 = 1000
8const RBG_MID: i64 = 500
9const RBG_TRANSLATION_MM: i64 = 100
10const RBG_KNIGHT_JOINTS: i64 = 113

functions

11func main() -> i64
calls 12: gv_headgv_ctrgv_check_eqrb_motion_pairrb_motion_consumerrb_motion_row_equal+6