--- /dev/null	
+++ scsolver/source/inc/global.hxx	
@@ -0,0 +1,73 @@
+/*************************************************************************
+ *
+ *  The Contents of this file are made available subject to
+ *  the terms of GNU Lesser General Public License Version 2.1.
+ *
+ *
+ *    GNU Lesser General Public License Version 2.1
+ *    =============================================
+ *    Copyright 2005 by Kohei Yoshida.
+ *    1039 Kingsway Dr., Apex, NC 27502, USA
+ *
+ *    This library is free software; you can redistribute it and/or
+ *    modify it under the terms of the GNU Lesser General Public
+ *    License version 2.1, as published by the Free Software Foundation.
+ *
+ *    This library is distributed in the hope that it will be useful,
+ *    but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ *    Lesser General Public License for more details.
+ *
+ *    You should have received a copy of the GNU Lesser General Public
+ *    License along with this library; if not, write to the Free Software
+ *    Foundation, Inc., 59 Temple Place, Suite 330, Boston,
+ *    MA  02111-1307  USA
+ *
+ ************************************************************************/
+
+#ifndef _GLOBAL_HXX_
+#define _GLOBAL_HXX_
+
+#include <string>
+#include <iterator>
+#include <iostream>
+#include <vector>
+
+namespace {
+
+//---------------------------------------------------------------------------
+// Function templates (need to be implemented in header)
+
+template<typename T>
+void deleteObject( T& p )
+{
+	delete p;
+	p = NULL;
+}
+
+template<typename Container>
+void printElements( const Container& cn, const char* sep = " " )
+{
+	using namespace ::std;
+	copy( cn.begin(), cn.end(), ostream_iterator<typename Container::value_type>( cout, sep ) );
+	cout << endl;
+}
+
+template<typename Container, typename Type>
+std::vector<Type> toVector( const Container& cn )
+{
+	std::vector<Type> v( cn.size() );
+	copy( cn.begin(), cn.end(), back_inserter(v) );
+	return v;
+}
+
+}
+
+namespace scsolver {
+
+void Debug( const char* );
+std::string repeatString( const char*, unsigned long );
+
+}
+
+#endif
