Searched refs:findIntegerSample (Results 1 – 8 of 8) sorted by relevance
111 bool findIntegerSample(SmallVectorImpl<int64_t> &sample);
782 Optional<SmallVector<int64_t, 8>> findIntegerSample();
340 Optional<SmallVector<int64_t, 8>> findIntegerSample() const;
462 bool PresburgerRelation::findIntegerSample(SmallVectorImpl<int64_t> &sample) { in findIntegerSample() function in PresburgerRelation465 if (Optional<SmallVector<int64_t, 8>> opt = disjunct.findIntegerSample()) { in findIntegerSample()
719 bool IntegerRelation::isIntegerEmpty() const { return !findIntegerSample(); } in isIntegerEmpty()766 Optional<SmallVector<int64_t, 8>> IntegerRelation::findIntegerSample() const { in findIntegerSample() function in IntegerRelation777 return simplex.findIntegerSample(); in findIntegerSample()806 Simplex(boundedSet).findIntegerSample(); in findIntegerSample()912 return copy.findIntegerSample(); in containsPointNoLocal()
1957 Optional<SmallVector<int64_t, 8>> Simplex::findIntegerSample() { in findIntegerSample() function in Simplex
547 Optional<SmallVector<int64_t, 8>> sample = simplex.findIntegerSample(); in TEST()
65 maybeSample = poly.findIntegerSample(); in checkSample()