00001 00006 #ifndef _CLAUSE_H_ 00007 #define _CLAUSE_H_ 00008 00009 #include <vector> 00010 #include <string> 00011 00012 namespace cnf { 00013 00014 00024 class Clause 00025 { 00026 private: 00033 std::vector<int> literals; 00034 00035 public: 00039 Clause(); 00040 00045 void addLit(int); 00046 00053 std::string toString(); 00054 00069 bool restriction(std::vector<int>); 00070 }; 00071 00072 00073 } // closing namespace 00074 00075 #endif