Lines Matching defs:end
149 auto end = std::next(begin_it, before);
150 std::rotate(begin, begin + 1, end);
153 auto end = std::next(begin_it, idx + 1);
154 std::rotate(begin, end - 1, end);
184 std::fill(depends_on.begin(), depends_on.end(), false);
186 std::fill(RAR_dependencies.begin(), RAR_dependencies.end(), false);
188 std::fill(RAR_dependencies_clause.begin(), RAR_dependencies_clause.end(), false);
206 * is moved past the end of the clause without extending it */
323 std::fill(depends_on.begin(), depends_on.end(), false);
324 std::fill(RAR_dependencies.begin(), RAR_dependencies.end(), false);