Searched refs:tmpCst (Results 1 – 1 of 1) sorted by relevance
971 FlatAffineConstraints tmpCst(*this); in isEmpty() local973 while (currentPos < tmpCst.getNumIds()) { in isEmpty()974 tmpCst.gaussianEliminateIds(currentPos, tmpCst.getNumIds()); in isEmpty()980 if (tmpCst.hasInvalidConstraint() || tmpCst.isEmptyByGCDTest()) in isEmpty()985 for (unsigned i = 0, e = tmpCst.getNumIds(); i < e; i++) { in isEmpty()986 tmpCst.FourierMotzkinEliminate( in isEmpty()987 getBestIdToEliminate(tmpCst, 0, tmpCst.getNumIds())); in isEmpty()993 if (tmpCst.getNumConstraints() >= kExplosionFactor * getNumIds()) { in isEmpty()1000 if (tmpCst.hasInvalidConstraint()) in isEmpty()1405 FlatAffineConstraints tmpCst(*this); in removeRedundantInequalities() local[all …]