Lines Matching defs:tmpCst

699   IntegerRelation tmpCst(*this);
702   tmpCst.removeRedundantLocalVars();
703   if (tmpCst.isEmptyByGCDTest() || tmpCst.hasInvalidConstraint())
708   while (currentPos < tmpCst.getNumVars()) {
709     tmpCst.gaussianEliminateVars(currentPos, tmpCst.getNumVars());
715     if (tmpCst.hasInvalidConstraint() || tmpCst.isEmptyByGCDTest())
720   for (unsigned i = 0, e = tmpCst.getNumVars(); i < e; i++) {
721     tmpCst.fourierMotzkinEliminate(
722         getBestVarToEliminate(tmpCst, 0, tmpCst.getNumVars()));
728     if (tmpCst.getNumConstraints() >= kExplosionFactor * getNumVars()) {
735     if (tmpCst.hasInvalidConstraint())
1183   IntegerRelation tmpCst(*this);
1186     tmpCst.inequalities.negateRow(r);
1187     --tmpCst.atIneq(r, tmpCst.getNumCols() - 1);
1188     if (tmpCst.isEmpty()) {
1192       tmpCst.inequalities.fillRow(r, /*value=*/0);
1194       // Reverse the change (to avoid recreating tmpCst each time).
1195       ++tmpCst.atIneq(r, tmpCst.getNumCols() - 1);
1196       tmpCst.inequalities.negateRow(r);