removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Typify.h

diff --git a/satPlan2006/include/Typify.h b/satPlan2006/include/Typify.h
deleted file mode 100644 (file)
index 206c642..0000000
--- a/satPlan2006/include/Typify.h
+++ /dev/null
@@ -1,36 +0,0 @@
-// Macro Guard\r
-#ifndef TYPIFY_CSE473_H\r
-#define TYPIFY_CSE473_H\r
-\r
-\r
-/*============================================================================//\r
-    Typify.h: header file for Int2Type<int> and Type2Type<Type> UDT's\r
-\r
-    Purpose is to allow user to quickly typify an integer (Int2Type<>) or to\r
-     re-type a type.  These can be useful for function overloading purposes\r
-     --> very lightweight.  Located in TypeDefine namespace.\r
-\r
-    Implementation: Shane J. Neph, June 2004, University of Washington\r
-//============================================================================*/\r
-\r
-namespace TypeDefine {\r
-\r
-//===============\r
-// Int2Type<int>\r
-//===============\r
-template <int Val>\r
-struct Int2Type {\r
-       enum { val = Val };\r
-};\r
-\r
-//=================\r
-// Type2Type<Type>\r
-//=================\r
-template <typename T>\r
-struct Type2Type {\r
-    typedef T OriginalType;\r
-};\r
-\r
-} // namespace TypeDefine\r
-\r
-#endif // TYPIFY_CSE473_H\r