Searched refs:tx_i_j (Results 1 – 2 of 2) sorted by relevance
7890 const N& tx_i_j = tx_i[j]; in integer_upper_bound_assign_if_exact() local7894 add_assign_r(lhs_i_j, tx_i_j, eps_i_j, ROUND_NOT_NEEDED); in integer_upper_bound_assign_if_exact()
78940 // Check redundancy of tx_i_j.78944 const N& tx_i_j = tx_i[j];78948 add_assign_r(lhs_i_j, tx_i_j, eps_i_j, ROUND_NOT_NEEDED);