Lines Matching defs:isEq

496   auto containsConstraintDependentOnRange = [&](unsigned r, bool isEq) {
498     auto cst = isEq ? getEquality(r) : getInequality(r);
513     if (containsConstraintDependentOnRange(r, /*isEq=*/false))
532     if (containsConstraintDependentOnRange(r, /*isEq=*/true))
568 // equality (isEq=true) or inequality (isEq=false) constraints.
570 bool IntegerRelation::findConstraintWithNonZeroAt(unsigned colIdx, bool isEq,
574     return isEq ? atEq(rowIdx, colIdx) : atIneq(rowIdx, colIdx);
576   unsigned e = isEq ? getNumEqualities() : getNumInequalities();
594   auto check = [&](bool isEq) -> bool {
596     unsigned numRows = isEq ? getNumEqualities() : getNumInequalities();
600         DynamicAPInt v = isEq ? atEq(i, j) : atIneq(i, j);
608       // Check validity of constant term at 'numCols - 1' w.r.t 'isEq'.
610       DynamicAPInt v = isEq ? atEq(i, numCols - 1) : atIneq(i, numCols - 1);
611       if ((isEq && v != 0) || (!isEq && v < 0)) {
617   if (check(/*isEq=*/true))
619   return check(/*isEq=*/false);
628                                     bool isEq) {
630   if (isEq && rowIdx == pivotRow)
633     return isEq ? constraints->atEq(i, j) : constraints->atIneq(i, j);
652     isEq ? constraints->atEq(rowIdx, j) = v
1092     if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/true, &pivotRow)) {
1094       if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/false, &pivotRow)) {
1105                               /*isEq=*/true);
1112                               /*isEq=*/false);
1447         eliminateFromConstraint(this, k, i, j, j, /*isEq=*/true);
1454       eliminateFromConstraint(this, k, i, j, j, /*isEq=*/false);
2294   return !findConstraintWithNonZeroAt(pos, /*isEq=*/false, &rowPos) &&
2295          !findConstraintWithNonZeroAt(pos, /*isEq=*/true, &rowPos);