Searched refs:ty_non_red_k (Results 1 – 2 of 2) sorted by relevance
7902 const Bit_Row& ty_non_red_k = ty_non_red[k]; in integer_upper_bound_assign_if_exact() local7923 if (!ty_non_red_k[ell]) { in integer_upper_bound_assign_if_exact()
78956 const Bit_Row& ty_non_red_k = ty_non_red[k];78977 if (!ty_non_red_k[ell]) {