SemOpt
0.2alpha5-SCC
Main Page
Classes
Files
File List
File Members
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_ */
src
SATFormulae.h
Generated on Thu Jul 11 2013 18:03:32 for SemOpt by
1.8.1.2