SemOpt
0.2alpha2-SCC
Main Page
Classes
Files
File List
File Members
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_ */
src
OrClause.h
Generated on Thu Jun 13 2013 11:23:15 for SemOpt by
1.8.1.2