clauses.h

Go to the documentation of this file.

#ifndef CLAUSES_H
#define CLAUSES_H

#include <vector>
#include "cclause.h"
#include "time_tabler.h"

using namespace NSPACE;

class CClause;

class Clauses {
 private:
  std::vector<CClause> clauses;

 public:
  Clauses(const std::vector<CClause> &);
  Clauses(const CClause &);
  Clauses(const Lit &);
  Clauses(const Var &);
  Clauses();
  Clauses operator~();
  Clauses operator&(const Clauses &);
  Clauses operator&(const CClause &);
  Clauses operator|(const Clauses &);
  Clauses operator|(const CClause &);
  Clauses operator>>(const Clauses &);
  void addClauses(const CClause &);
  void addClauses(const std::vector<CClause> &);
  void addClauses(const Clauses &);
  std::vector<CClause> getClauses() const;
  void print();
  void clear();
};

#endif