Index: /trunk/FACT++/src/tools.cc
===================================================================
--- /trunk/FACT++/src/tools.cc	(revision 15166)
+++ /trunk/FACT++/src/tools.cc	(revision 15167)
@@ -15,4 +15,5 @@
 
 #include <boost/tokenizer.hpp>
+#include <boost/algorithm/string.hpp>
 
 using namespace std;
@@ -277,4 +278,11 @@
 }
 
+vector<string> Tools::Split(const string &str, const string &delim)
+{
+    vector<string> rc;
+    boost::split(rc, str, boost::is_any_of(delim));
+    return rc;
+}
+
 // --------------------------------------------------------------------------
 //
Index: /trunk/FACT++/src/tools.h
===================================================================
--- /trunk/FACT++/src/tools.h	(revision 15166)
+++ /trunk/FACT++/src/tools.h	(revision 15167)
@@ -4,4 +4,5 @@
 #include <map>
 #include <string>
+#include <vector>
 
 namespace Tools
@@ -15,4 +16,5 @@
 
     std::map<std::string,std::string> Split(std::string &, bool = false);
+    std::vector<std::string> Split(const std::string &, const std::string &);
     std::string Uncomment(const std::string &opt);
 }