Searched refs:twice_ub (Results 1 – 3 of 3) sorted by relevance
335 const Coeff& twice_ub = oct.matrix[cii][ii]; in Box() local336 if (!is_plus_infinity(twice_ub)) { in Box()337 assign_r(upper_bound, twice_ub, ROUND_NOT_NEEDED); in Box()
8120 const N& twice_ub = matrix[cii][ii]; in export_interval_constraints() local8121 if (!is_plus_infinity(twice_ub)) { in export_interval_constraints()8122 assign_r(ub, twice_ub, ROUND_NOT_NEEDED); in export_interval_constraints()
79174 const N& twice_ub = matrix[cii][ii];79175 if (!is_plus_infinity(twice_ub)) {79176 assign_r(ub, twice_ub, ROUND_NOT_NEEDED);87954 const Coeff& twice_ub = oct.matrix[cii][ii];87955 if (!is_plus_infinity(twice_ub)) {87956 assign_r(upper_bound, twice_ub, ROUND_NOT_NEEDED);