-
Notifications
You must be signed in to change notification settings - Fork 0
/
define.h
62 lines (57 loc) · 1.02 KB
/
define.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
#include<iostream>
#include<cstdlib>
#include<math.h>
#include<time.h>
#include<cstring>
#include<fstream>
#include<bits/stdc++.h>
#define TRUE 1
#define FALSE 0
#define OK 1
#define ERROR 0
#define INFEASIBLE -1
#define N 1
#define flip 1
const float p=0.5;
typedef struct node
{
int Var;
node *next;
}node,*clausenode;
typedef struct clause
{
clause *nexth;
int len;
node *nextn;
}clause ,*clausehead;
typedef struct tablehead
{
int numvar;
int numclause;
clause *nexth;
}tablehead,*header;
typedef struct linearlist
{
int len;
int *array;
}linearlist;
typedef struct sat_information
{
int snum;
int usnum;
int d;
}sat_information;
typedef struct data
{
int p;
int n;
int s;
int var;
}data;
char filename[100];
linearlist ans;
linearlist walksat;
int ordernum;
int mainsolve1(header head);
int mainsolve2(header head,int assumvar,linearlist suspect);
int mainsolve3(header head,int assumvar,linearlist suspect);