1 /******************************************************************************
5 * $Date: 2007/03/26 01:00:40 $
9 * Revision 2.0 2007/03/26 01:00:40 hachti
10 * *** empty log message ***
13 ******************************************************************************/
23 extern int dump_vector(vector<string> strings);
24 extern int dump_vector_fp(vector<string> strings, FILE * fp);
28 *\brief add contents of one vector to another vector uniquely.
29 *\param target Reference to the target vector.
30 *\param source Reference to the vector whose contents are to be added
34 void merge_vector_unique(vector<T> &target, const vector<T> & source){
35 for (unsigned int isource=0; isource<source.size();isource++){
36 bool already_present=false;
37 for (unsigned int itarget=0;itarget<target.size();itarget++)
38 if (target[itarget]==source[isource]){
42 if (!already_present) target.insert(target.end(),source[isource]);