Searched refs:SymbolicLexMin (Results 1 – 6 of 6) sorted by relevance
531 struct SymbolicLexMin { struct532 SymbolicLexMin(const PresburgerSpace &domainSpace, unsigned numOutputs) in SymbolicLexMin() argument623 SymbolicLexMin computeSymbolicIntegerLexMin();671 void recordOutput(SymbolicLexMin &result) const;
31 struct SymbolicLexMin;603 SymbolicLexMin findSymbolicIntegerLexMin() const;
128 SymbolicLexMin lexmin = in TEST()
1178 SymbolicLexMin result = poly.findSymbolicIntegerLexMin(); in expectSymbolicIntegerLexMin()
436 void SymbolicLexSimplex::recordOutput(SymbolicLexMin &result) const { in recordOutput()509 SymbolicLexMin SymbolicLexSimplex::computeSymbolicIntegerLexMin() { in computeSymbolicIntegerLexMin()510 SymbolicLexMin result(domainPoly.getSpace(), var.size() - nSymbol); in computeSymbolicIntegerLexMin()
213 SymbolicLexMin lexminResult = in computeReprWithOnlyDivLocals()229 SymbolicLexMin IntegerRelation::findSymbolicIntegerLexMin() const { in findSymbolicIntegerLexMin()240 SymbolicLexMin result = in findSymbolicIntegerLexMin()