+++ /dev/null
-// Macro guard\r
-#ifndef SATZRAND_SOLVER_CSE473_H\r
-#define SATZRAND_SOLVER_CSE473_H\r
-\r
-// Files included\r
-#include "SolverInterface.h"\r
-\r
-\r
-/*============================================================================//\r
- SatzRandSolver.h: header file - implementation of SolverInterface for\r
- satz-rand.\r
-\r
- Implementation: Shane J. Neph, June 2004, University of Washington\r
-//============================================================================*/\r
-\r
-struct SatzRandSolver : public SolverInterface {\r
- static std::string ExeName()\r
- { return("satz-rand"); }\r
-\r
- static std::string Name()\r
- { return("satz-rand"); }\r
-\r
- SatzRandSolver() : tmpFile_("satzrand.stats"), results_("satzrand.results")\r
- { /* */ }\r
-\r
- virtual ~SatzRandSolver()\r
- { /* */ }\r
-\r
-private:\r
- virtual std::vector<std::string> cleanFiles() const {\r
- std::vector<std::string> toRtn;\r
- toRtn.push_back("record");\r
- toRtn.push_back(tmpFile_);\r
- toRtn.push_back(getSolutionName());\r
- return(toRtn);\r
- }\r
- virtual bool evaluateReturn(int rtnVal);\r
- virtual std::string exe() const { return(ExeName() + " "); }\r
- virtual std::string getExeNameAndArgs(const std::string& dir,\r
- const std::string& fileName,\r
- long rand) {\r
- std::string toRtn = exe() + fileName;\r
- toRtn += std::string(" -seed ") + convert<std::string>(rand);\r
- toRtn += " -out " + getSolutionName() + " >> ";\r
- toRtn += tmpFile_;\r
- return(dir + toRtn);\r
- }\r
- virtual std::string getExeNameAndArgs(const std::string& dir,\r
- const std::string& wffFileName,\r
- const std::string& options) {\r
- std::string toRtn = exe() + wffFileName;\r
- toRtn += (" " + options);\r
- toRtn += (" -out " + getSolutionName() + " >> ");\r
- toRtn += tmpFile_;\r
- return(dir + toRtn);\r
- }\r
- virtual std::string getSolutionName() const { return(results_); }\r
- virtual bool isSat(const std::vector<std::string>& vec);\r
- virtual void listOptions(std::ostream& os, const std::string& dir);\r
- virtual std::string name() const { return(Name()); }\r
- virtual void setUnique(const std::string& original) {\r
- tmpFile_ += original;\r
- results_ += original;\r
- }\r
-\r
-private:\r
- std::string tmpFile_, results_;\r
-};\r
-\r
-\r
-#endif // SATZRAND_SOLVER_CSE473_H\r