9 extern int dump_vector(vector<string> strings);
10 extern int dump_vector_fp(vector<string> strings, FILE * fp);
14 *\brief add contents of one vector to another vector uniquely.
15 *\param target Reference to the target vector.
16 *\param source Reference to the vector whose contents are to be added
20 void merge_vector_unique(vector<T> &target, const vector<T> & source){
21 for (unsigned int isource=0; isource<source.size();isource++){
22 bool already_present=false;
23 for (unsigned int itarget=0;itarget<target.size();itarget++)
24 if (target[itarget]==source[isource]){
28 if (!already_present) target.insert(target.end(),source[isource]);