#ifndef BATCHED_APPEND_H #define BATCHED_APPEND_H #include //swap #include template void batched_append(Vector &v,SRange const& s) { std::size_t news=v.size()+s.size(); v.reserve(news); v.insert(v.end(),s.begin(),s.end()); } template void batched_append_swap(Vector &v,SRange & s) { using namespace std; // to find the right swap size_t i=v.size(); size_t news=i+s.size(); v.resize(news); typename SRange::iterator si=s.begin(); for (;i