SemOpt  0.2alpha5-SCC
semopt.h
Go to the documentation of this file.
1 
7 #ifndef _SEMOPT_H
8 #define _SEMOPT_H
9 
10 #include <cmath>
11 #include <cstdio>
12 #include <fstream>
13 #include <cstdlib>
14 #include <stdlib.h>
15 #include <vector>
16 #include <time.h>
17 
18 #include <algorithm>
19 #include <iostream>
20 #include <sstream>
21 #include <cstring>
22 #include <string>
23 #include <cassert>
24 #include <set>
25 
26 #define DIMBUFFER 100000
27 
28 using namespace std;
29 
30 #define HG(a) static const char *hgrev = a;
31 
32 #define _PUBLIC_RELEASE "0.2alpha5-SCC"
33 #ifndef _PUBLIC_RELEASE
34 #include "hgversion.h"
35 #else
36 #define HG(a) static const char *hgrev = a;
37 HG("Version: "_PUBLIC_RELEASE);
38 #endif
39 
40 #include "AF.h"
41 #include "OrClause.h"
42 #include "SATFormulae.h"
43 #include "SetArguments.h"
44 #include "Labelling.h"
45 #include "Argument.h"
46 #include "Preferred.h"
47 
48 extern bool debug;
49 extern bool externalsat;
50 extern string satsolver;
51 extern int labellingconditions;
52 extern string inputfile;
53 extern string semantics;
54 
55 extern bool manualopt;
56 extern time_t start;
57 
58 bool parse_solution_aspartix(set<set<string> > *, const char *);
59 
60 #endif /* _SEMOPT_H */
61 
62 int precosat_lib(stringstream *the_cnf, int num_var, int num_cl, vector<int> *result);