Lines Matching refs:tmpCst
598 IntegerRelation tmpCst(*this); in isEmpty() local
601 tmpCst.removeRedundantLocalVars(); in isEmpty()
602 if (tmpCst.isEmptyByGCDTest() || tmpCst.hasInvalidConstraint()) in isEmpty()
607 while (currentPos < tmpCst.getNumVars()) { in isEmpty()
608 tmpCst.gaussianEliminateVars(currentPos, tmpCst.getNumVars()); in isEmpty()
614 if (tmpCst.hasInvalidConstraint() || tmpCst.isEmptyByGCDTest()) in isEmpty()
619 for (unsigned i = 0, e = tmpCst.getNumVars(); i < e; i++) { in isEmpty()
620 tmpCst.fourierMotzkinEliminate( in isEmpty()
621 getBestVarToEliminate(tmpCst, 0, tmpCst.getNumVars())); in isEmpty()
627 if (tmpCst.getNumConstraints() >= kExplosionFactor * getNumVars()) { in isEmpty()
634 if (tmpCst.hasInvalidConstraint()) in isEmpty()
1025 IntegerRelation tmpCst(*this); in removeRedundantInequalities() local
1028 tmpCst.inequalities.negateRow(r); in removeRedundantInequalities()
1029 --tmpCst.atIneq(r, tmpCst.getNumCols() - 1); in removeRedundantInequalities()
1030 if (tmpCst.isEmpty()) { in removeRedundantInequalities()
1034 tmpCst.inequalities.fillRow(r, /*value=*/0); in removeRedundantInequalities()
1037 ++tmpCst.atIneq(r, tmpCst.getNumCols() - 1); in removeRedundantInequalities()
1038 tmpCst.inequalities.negateRow(r); in removeRedundantInequalities()