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