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 00059 void clear(); 00060 }; 00061 00062 00063 } // closing namespace 00064 00065 #endif