removing SATPlan and adding conda and sypet

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

diff --git a/satPlan2006/include/SiegeSolver.h b/satPlan2006/include/SiegeSolver.h
deleted file mode 100644 (file)
index 62cf31a..0000000
--- a/satPlan2006/include/SiegeSolver.h
+++ /dev/null
@@ -1,58 +0,0 @@
-// Macro guard
-#ifndef SIEGE_SOLVER_CSE473_H
-#define SIEGE_SOLVER_CSE473_H
-
-// Files included
-#include "SolverInterface.h"
-
-
-/*============================================================================//
-    SiegeSolver.h: header file - implementation of SolverInterface for Siege
-
-    Implementation: Shane J. Neph, June 2004, University of Washington
-//============================================================================*/
-\r
-struct SiegeSolver : public SolverInterface {\r
-    static std::string ExeName()\r
-        { return("siege_v4"); }\r
-\r
-    static std::string Name()\r
-        { return("siege"); }\r
-\r
-    virtual ~SiegeSolver()\r
-        { /* */ }\r
-\r
-    SiegeSolver() : tmpFile_("siege.results") { /* */ }\r
-\r
-private:\r
-    virtual std::vector<std::string> cleanFiles() const {\r
-        std::vector<std::string> toRtn;\r
-        toRtn.push_back(getSolutionName());\r
-        return(toRtn);\r
-    }\r
-    std::string exe() const { return(ExeName() + " "); }\r
-    virtual std::string getExeNameAndArgs(const std::string& dir,\r
-                                          const std::string& wffFileName,\r
-                                          long rand) {\r
-        return(dir + exe() + wffFileName + " " + convert<std::string>(rand));\r
-    }\r
-    virtual std::string getExeNameAndArgs(const std::string& dir,\r
-                                          const std::string& wffFileName,\r
-                                          const std::string& options) {\r
-        // rand() used in overloaded version; no other real options\r
-        return(dir + exe() + wffFileName);\r
-    }\r
-\r
-    virtual std::string getSolutionName() const { return(tmpFile_); }\r
-    virtual bool isSat(const std::vector<std::string>& vec);\r
-    virtual std::string name() const { return(Name()); }\r
-    virtual void setUnique(const std::string& original) {\r
-        /* solver outputs to its own file --> can't do anything here */\r
-    }\r
-\r
-private:\r
-    std::string tmpFile_;\r
-};\r
-\r
-\r
-#endif // SIEGE_SOLVER_CSE473_H\r