Lines Matching refs:Constraints
29 assert(!Constraints.empty() && in eliminateUsingFM()
37 for (unsigned R1 = 0; R1 < Constraints.size();) { in eliminateUsingFM()
38 SmallVector<Entry, 8> &Row1 = Constraints[R1]; in eliminateUsingFM()
44 std::swap(Constraints[R1], Constraints.back()); in eliminateUsingFM()
45 RemainingRows.push_back(std::move(Constraints.back())); in eliminateUsingFM()
46 Constraints.pop_back(); in eliminateUsingFM()
115 Constraints.push_back(std::move(NR)); in eliminateUsingFM()
117 if (Constraints.size() > 500) in eliminateUsingFM()
127 while (!Constraints.empty() && NumVariables > 1) { in mayHaveSolutionImpl()
132 if (Constraints.empty() || NumVariables > 1) in mayHaveSolutionImpl()
135 return all_of(Constraints, [](auto &R) { in mayHaveSolutionImpl()
161 if (Constraints.empty()) in dump()
164 for (const auto &Row : Constraints) { in dump()