Searched refs:linearVarsSize (Results 1 – 1 of 1) sorted by relevance
164 size_t linearVarsSize = linearVars.size(); in printLinearClause() local165 for (unsigned i = 0; i < linearVarsSize; ++i) { in printLinearClause()166 std::string separator = i == linearVarsSize - 1 ? "" : ", "; in printLinearClause()