Searched refs:x_non_red (Results 1 – 2 of 2) sorted by relevance
7661 std::vector<Bit_Row> x_non_red; in upper_bound_assign_if_exact() local7662 x.non_redundant_matrix_entries(x_non_red); in upper_bound_assign_if_exact()7680 const Bit_Row& x_non_red_i = x_non_red[i]; in upper_bound_assign_if_exact()
78715 std::vector<Bit_Row> x_non_red;78716 x.non_redundant_matrix_entries(x_non_red);78734 const Bit_Row& x_non_red_i = x_non_red[i];