Searched refs:tx_non_red (Results 1 – 2 of 2) sorted by relevance
7852 std::vector<Bit_Row> tx_non_red; in integer_upper_bound_assign_if_exact() local7853 tx.non_redundant_matrix_entries(tx_non_red); in integer_upper_bound_assign_if_exact()7877 const Bit_Row& tx_non_red_i = tx_non_red[i]; in integer_upper_bound_assign_if_exact()
78906 std::vector<Bit_Row> tx_non_red;78907 tx.non_redundant_matrix_entries(tx_non_red);78931 const Bit_Row& tx_non_red_i = tx_non_red[i];