Searched refs:select_term_index (Results 1 – 2 of 2) sorted by relevance
1454 static inline uint32_t select_term_index(const term_table_t *table, term_t t) { in select_term_index() function
3548 select_term_index(tbl, a) != 0) { in simplify_mk_tuple()3563 select_term_index(tbl, a) != i || in simplify_mk_tuple()3767 select_term_arg(tbl, v) == tuple && select_term_index(tbl, v) == i) { in mk_tuple_aux()