Lines Matching refs:Simplex
21 #include "mlir/Analysis/Presburger/Simplex.h"
150 // The Simplex returns the lexmin over all the variables including locals. But
170 // The Simplex returns the lexmin over all the variables including locals. But
787 Simplex simplex(*this);
876 Simplex simplex(*this);
911 Simplex(boundedSet).findIntegerSample();
915 "Simplex returned an invalid sample!");
959 Simplex shrunkenConeSimplex(cone);
1209 // Simplex to check if a constraint is redundant.
1215 Simplex simplex(*this);
1220 // Scan to get rid of all inequalities marked redundant, in-place. In Simplex,
1228 // Scan to get rid of all equalities marked redundant, in-place. In Simplex,
1244 Simplex simplex(*this);
2527 Simplex simplex(*this);