Searched refs:p_r_from_index (Results 1 – 8 of 8) sorted by relevance
179 renumber_t::p_r_side x = tab.p_r_from_index(i); in main()187 x = tab.p_r_from_index(j); in main()191 x = tab.p_r_from_index(j); in main()216 renumber_t::p_r_side x = tab.p_r_from_index(h); in main()
114 renumber_t::p_r_side x = renumber_table.p_r_from_index(i); in main()
1029 x = renumber_table->p_r_from_index(i); in read_relation_renumbered()
139 renumber_t::p_r_side x = deref(R)->p_r_from_index(h); in renumber_table_p_r_from_index()
208 p_r_side p_r_from_index (index_t) const;
1045 renumber_t::p_r_side renumber_t::p_r_from_index (index_t i) const in p_r_from_index() function in renumber_t1618 p_r_side x = p_r_from_index (i); in debug_data()
198 renumber_t::p_r_side x = tab.p_r_from_index(i); in compute_galois_action()
311 int side = data.renum_tab.p_r_from_index(h).side; in thread_sm()1014 renumber_t::p_r_side x = tab.p_r_from_index(i); in write_log()