Searched refs:tmpCst (Results 1 – 1 of 1) sorted by relevance
598 IntegerRelation tmpCst(*this); in isEmpty() local601 tmpCst.removeRedundantLocalVars(); in isEmpty()602 if (tmpCst.isEmptyByGCDTest() || tmpCst.hasInvalidConstraint()) in isEmpty()608 tmpCst.gaussianEliminateVars(currentPos, tmpCst.getNumVars()); in isEmpty()614 if (tmpCst.hasInvalidConstraint() || tmpCst.isEmptyByGCDTest()) in isEmpty()620 tmpCst.fourierMotzkinEliminate( in isEmpty()621 getBestVarToEliminate(tmpCst, 0, tmpCst.getNumVars())); in isEmpty()1025 IntegerRelation tmpCst(*this); in removeRedundantInequalities() local1029 --tmpCst.atIneq(r, tmpCst.getNumCols() - 1); in removeRedundantInequalities()1030 if (tmpCst.isEmpty()) { in removeRedundantInequalities()[all …]