Searched refs:ty_non_red (Results 1 – 2 of 2) sorted by relevance
7854 std::vector<Bit_Row> ty_non_red; in integer_upper_bound_assign_if_exact() local7855 ty.non_redundant_matrix_entries(ty_non_red); in integer_upper_bound_assign_if_exact()7902 const Bit_Row& ty_non_red_k = ty_non_red[k]; in integer_upper_bound_assign_if_exact()
78908 std::vector<Bit_Row> ty_non_red;78909 ty.non_redundant_matrix_entries(ty_non_red);78956 const Bit_Row& ty_non_red_k = ty_non_red[k];