clause.h
Go to the documentation of this file.
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
 All Classes Namespaces Files Functions Variables Defines