1 /******************************************************************************
5 * $Date: 2007/06/15 12:46:04 $
9 * Revision 2.2 2007/06/15 12:46:04 hachti
10 * Some small changes in configuration_manager output - added (c/f) info.
11 * Changed order in tool.hh:add_unique....
13 * Revision 2.1 2007-05-30 02:51:16 hachti
14 * Changed everything towards LDC2 use.
15 * Worked on the buildlib.sh.
16 * Centralized buildlib.sh to a new lib/common directory.
18 * Revision 2.0 2007-03-26 01:00:40 hachti
19 * *** empty log message ***
22 ******************************************************************************/
32 extern int dump_vector(vector<string> strings);
33 extern int dump_vector_fp(vector<string> strings, FILE * fp);
37 *\brief add contents of one vector to another vector uniquely.
38 *\param target Reference to the target vector.
39 *\param source Reference to the vector whose contents are to be added
43 void merge_vector_unique(vector<T> &target, const vector<T> & source){
44 for (unsigned int isource=0; isource<source.size();isource++){
45 bool already_present=false;
46 for (unsigned int itarget=0;itarget<target.size();itarget++)
47 if (target[itarget]==source[isource]){
51 if (!already_present) target.insert(target.end(),source[isource]);