Searched refs:GCDTightenInequalities (Results 1 – 4 of 4) sorted by relevance
1094 void FlatAffineConstraints::GCDTightenInequalities() { in GCDTightenInequalities() function in FlatAffineConstraints1122 GCDTightenInequalities(); in gaussianEliminateIds()1154 GCDTightenInequalities(); in gaussianEliminateIds()1444 GCDTightenInequalities(); in removeRedundantConstraints()2375 GCDTightenInequalities(); in removeTrivialRedundancy()2544 GCDTightenInequalities(); in FourierMotzkinEliminate()2680 newFac.GCDTightenInequalities(); in FourierMotzkinEliminate()2720 GCDTightenInequalities(); in projectOut()
621 void GCDTightenInequalities();
197 // The tests below test GCDTightenInequalities().
79 // Without GCDTightenInequalities(), the upper bound on the region