Searched refs:lb_color (Results 1 – 1 of 1) sorted by relevance
4027 enum omega_eqn_color lb_color = omega_black; in omega_solve_geq() local4043 lb_color = pb->geqs[Le].color; in omega_solve_geq()4117 lb_color = (pb->geqs[Ue].color == omega_red in omega_solve_geq()4174 lb_color == omega_red ? '[' : ' ', lower_bound, in omega_solve_geq()4175 (lb_color == omega_red && ub_color == omega_black) in omega_solve_geq()4178 (lb_color == omega_black && ub_color == omega_red) in omega_solve_geq()4188 && !(ub_color == omega_red || lb_color == omega_red) in omega_solve_geq()4196 || lb_color == omega_red) in omega_solve_geq()4218 pb->geqs[pb->num_geqs].color = lb_color; in omega_solve_geq()4234 || (lb_color == omega_black in omega_solve_geq()