void CollectionFilterState::push( const FragmentList& input ) { fragments.insert( fragments.end(), input.begin(), input.end() ); }
void CollectionFilterState::push( const FragmentList& input ) { fragments.insert( fragments.end(), input.begin(), input.end() ); }