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 Minisat;

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