Searched refs:twice_lb (Results 1 – 3 of 3) sorted by relevance
343 const Coeff& twice_lb = oct.matrix[ii][cii]; in Box() local344 if (!is_plus_infinity(twice_lb)) { in Box()345 assign_r(lower_bound, twice_lb, ROUND_NOT_NEEDED); in Box()
8131 const N& twice_lb = matrix[ii][cii]; in export_interval_constraints() local8132 if (!is_plus_infinity(twice_lb)) { in export_interval_constraints()8133 assign_r(lb, twice_lb, ROUND_NOT_NEEDED); in export_interval_constraints()
79185 const N& twice_lb = matrix[ii][cii];79186 if (!is_plus_infinity(twice_lb)) {79187 assign_r(lb, twice_lb, ROUND_NOT_NEEDED);87962 const Coeff& twice_lb = oct.matrix[ii][cii];87963 if (!is_plus_infinity(twice_lb)) {87964 assign_r(lower_bound, twice_lb, ROUND_NOT_NEEDED);