SemOpt  0.2alpha5-SCC
SATFormulae.h
1 /*
2  * SATFormulae.h
3  *
4  * Created on: 9 May 2013
5  * Author: geryo
6  */
7 
8 #ifndef SATFORMULAE_H_
9 #define SATFORMULAE_H_
10 
11 #include <vector>
12 #include <string>
13 #include <sstream>
14 #include <cstdarg>
15 #include "OrClause.h"
16 #include "Argument.h"
17 using namespace std;
18 
19 class SATFormulae {
20  vector<OrClause> clauses_and;
21 public:
22  SATFormulae();
23  void appendOrClause(OrClause);
24  void toSS(stringstream *) const;
25  void clone(SATFormulae *);
26  int size();
27  virtual ~SATFormulae();
28  bool empty();
29 };
30 ostream& operator<<(ostream& , const SATFormulae& );
31 
32 #endif /* SATFORMULAE_H_ */