Searched refs:NewSystem (Results 1 – 1 of 1) sorted by relevance
32 SmallVector<SmallVector<int64_t, 8>, 4> NewSystem; in eliminateUsingFM() local44 NewSystem.push_back(std::move(NR)); in eliminateUsingFM()86 NewSystem.push_back(std::move(NR)); in eliminateUsingFM()88 if (NewSystem.size() > 500) in eliminateUsingFM()92 Constraints = std::move(NewSystem); in eliminateUsingFM()155 auto NewSystem = *this; in isConditionImplied() local156 NewSystem.addVariableRow(R); in isConditionImplied()157 return !NewSystem.mayHaveSolution(); in isConditionImplied()