SemOpt  0.2alpha2-SCC
OrClause.h
1 #ifndef ORCLAUSE_H_
2 #define ORCLAUSE_H_
3 
4 #include <vector>
5 #include <string>
6 #include <sstream>
7 #include <cstdarg>
8 #include "Argument.h"
9 using namespace std;
10 
11 class OrClause {
12  vector<Variable> clause;
13 public:
14  OrClause();
15  OrClause(int, ...);
16  void appendVariable(Variable);
17  void addHeadVariable(Variable);
18  void toSS(stringstream *) const;
19  void clone(OrClause *);
20  virtual ~OrClause();
21 };
22 ostream& operator<<(ostream& , const OrClause& );
23 
24 #endif /* ORCLAUSE_H_ */