Lines Matching full:constraints

1 //===- ConstraintSytem.cpp - A system of linear constraints. ----*- C++ -*-===//
29   assert(!Constraints.empty() &&
37   for (unsigned R1 = 0; R1 < Constraints.size();) {
38     SmallVector<Entry, 8> &Row1 = Constraints[R1];
44       std::swap(Constraints[R1], Constraints.back());
45       RemainingRows.push_back(std::move(Constraints.back()));
46       Constraints.pop_back();
115       Constraints.push_back(std::move(NR));
117       if (Constraints.size() > 500)
127   while (!Constraints.empty() && NumVariables > 1) {
132   if (Constraints.empty() || NumVariables > 1)
135   return all_of(Constraints, [](auto &R) {
161   if (Constraints.empty())
164   for (const auto &Row : Constraints) {
201   // condition must hold based on the existing constraints.