Searched refs:findIntegerSample (Results 1 – 7 of 7) sorted by relevance
88 bool findIntegerSample(SmallVectorImpl<int64_t> &sample);
161 Optional<SmallVector<int64_t, 8>> findIntegerSample() const;
296 bool PresburgerSet::findIntegerSample(SmallVectorImpl<int64_t> &sample) { in findIntegerSample() function in PresburgerSet300 if (Optional<SmallVector<int64_t, 8>> opt = fac.findIntegerSample()) { in findIntegerSample()
1051 return !simplex.findIntegerSample().hasValue(); in isIntegerEmpty()1055 FlatAffineConstraints::findIntegerSample() const { in findIntegerSample() function in FlatAffineConstraints1056 return Simplex(*this).findIntegerSample(); in findIntegerSample()
220 Optional<SmallVector<int64_t, 8>> findIntegerSample();
23 Optional<SmallVector<int64_t, 8>> maybeSample = fac.findIntegerSample(); in checkSample()
1007 Optional<SmallVector<int64_t, 8>> Simplex::findIntegerSample() { in findIntegerSample() function in mlir::Simplex