Searched refs:newRel (Results 1 – 1 of 1) sorted by relevance
1801 IntegerRelation newRel(lbIndices.size() * ubIndices.size() + nbIndices.size(), in fourierMotzkinEliminate() local1820 ineq.reserve(newRel.getNumCols()); in fourierMotzkinEliminate()1843 newRel.addInequality(ineq); in fourierMotzkinEliminate()1861 newRel.addInequality(ineq); in fourierMotzkinEliminate()1864 assert(newRel.getNumConstraints() == in fourierMotzkinEliminate()1870 eq.reserve(newRel.getNumCols()); in fourierMotzkinEliminate()1876 newRel.addEquality(eq); in fourierMotzkinEliminate()1881 newRel.gcdTightenInequalities(); in fourierMotzkinEliminate()1882 newRel.normalizeConstraintsByGCD(); in fourierMotzkinEliminate()1883 newRel.removeTrivialRedundancy(); in fourierMotzkinEliminate()[all …]