Home
last modified time | relevance | path

Searched refs:getRationalSample (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h513 MaybeOptimum<SmallVector<Fraction, 8>> getRationalSample() const;
810 Optional<SmallVector<Fraction, 8>> getRationalSample() const;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp221 return getRationalSample(); in findRationalLexMin()
310 MaybeOptimum<SmallVector<Fraction, 8>> sample = getRationalSample(); in findIntegerLexMin()
1536 Optional<SmallVector<Fraction, 8>> Simplex::getRationalSample() const { in getRationalSample() function in Simplex
1561 MaybeOptimum<SmallVector<Fraction, 8>> LexSimplex::getRationalSample() const { in getRationalSample() function in LexSimplex
1597 SmallVector<Fraction, 8> rationalSample = *getRationalSample(); in getSamplePointIfIntegral()
H A DIntegerRelation.cpp859 *shrunkenConeSimplex.getRationalSample(); in findIntegerSample()