Searched refs:table_ninf (Results 1 – 4 of 4) sorted by relevance
110 extern base_number table_ninf;
133 base_number table_ninf = 0; variable788 table_ninf = table_ninf_remap (table, high + 1, ACTION_NUMBER_MINIMUM); in pack_table()
473 MUSCLE_INSERT_INT ("table_ninf", table_ninf); in prepare_actions()
8026 (conflict_list, conflict_list_cnt, table, check, table_ninf)8234 (table_ninf, base_ninf): New.