Searched refs:revised_ub_expr (Results 1 – 2 of 2) sorted by path
3509 Linear_Expression revised_ub_expr(lb_expr); in bounded_affine_preimage() local3510 revised_ub_expr -= lb_var_coeff * var; in bounded_affine_preimage()3513 revised_ub_expr *= d; in bounded_affine_preimage()3514 revised_ub_expr += numer_upper; in bounded_affine_preimage()3520 if (maximize(revised_ub_expr, numer_upper, denom, included)) { in bounded_affine_preimage()
91128 Linear_Expression revised_ub_expr(lb_expr);91129 revised_ub_expr -= lb_var_coeff * var;91132 revised_ub_expr *= d;91133 revised_ub_expr += numer_upper;91139 if (maximize(revised_ub_expr, numer_upper, denom, included)) {