Searched refs:have_to_negate (Results 1 – 2 of 2) sorted by path
682 const bool have_to_negate = (row_k.expr.get(Variable(j - 1)) < 0); in back_substitute() local683 if (have_to_negate) { in back_substitute()709 if (have_to_negate) { in back_substitute()
42915 const bool have_to_negate = (row_k.expr.get(Variable(j - 1)) < 0);42916 if (have_to_negate) {42942 if (have_to_negate) {