X-Git-Url: http://gitweb.hachti.de/?a=blobdiff_plain;f=pc-tools%2Fldc2%2Fsrc%2Ftool.hh;h=4919b65800c08fa12264dd59d29e1c61b18e1346;hb=ea78fc91fca804d41e7caf94025a4616e4f2daad;hp=acb30ec35eb585840b350dfb7a0513387a88cc31;hpb=ea4c19a49ff6621c58e0c4bba5ab5d271a3604c8;p=h316.git

diff --git a/pc-tools/ldc2/src/tool.hh b/pc-tools/ldc2/src/tool.hh
index acb30ec..4919b65 100644
--- a/pc-tools/ldc2/src/tool.hh
+++ b/pc-tools/ldc2/src/tool.hh
@@ -1,3 +1,17 @@
+/******************************************************************************
+ * 
+ * LDC2 source code
+ *
+ * $Date: 2007/03/26 01:00:40 $
+ * $Author: hachti $
+ *
+ * $Log: tool.hh,v $
+ * Revision 2.0  2007/03/26 01:00:40  hachti
+ * *** empty log message ***
+ *
+ *
+ ******************************************************************************/
+ 
 #ifndef TOOL_HH
 #define TOOL_HH
 
@@ -7,6 +21,26 @@
 using namespace std;
 
 extern int dump_vector(vector<string> strings);
-extern int dump_vector_err(vector<string> strings);
+extern int dump_vector_fp(vector<string> strings, FILE * fp);
+
+
+/*!
+ *\brief add contents of one vector to another vector uniquely.
+ *\param target Reference to the target vector.
+ *\param source Reference to the vector whose contents are to be added
+ *       to target.
+ */
+template<typename T>
+void merge_vector_unique(vector<T> &target, const vector<T> & source){
+  for (unsigned int isource=0; isource<source.size();isource++){
+    bool already_present=false;
+    for (unsigned int itarget=0;itarget<target.size();itarget++)
+      if (target[itarget]==source[isource]){
+	already_present=true;
+	break;
+      }
+    if (!already_present) target.insert(target.end(),source[isource]);
+  }
+}
 
 #endif