Fix warnings, merge, and check my code in
[satune.git] / src / classlist.h
1 /*      Copyright (c) 2015 Regents of the University of California
2  *
3  *      Author: Brian Demsky <bdemsky@uci.edu>
4  *
5  *      This program is free software; you can redistribute it and/or
6  *      modify it under the terms of the GNU General Public License
7  *      version 2 as published by the Free Software Foundation.
8  */
9
10 #ifndef CLASSLIST_H
11 #define CLASSLIST_H
12
13 #include "mymemory.h"
14 #include <inttypes.h>
15 #define bool int
16 #define true 1
17 #define false 0
18
19 struct CSolver;
20 typedef struct CSolver CSolver;
21 struct SATEncoder;
22 typedef struct SATEncoder SATEncoder;
23
24
25 struct Constraint;
26 typedef struct Constraint Constraint;
27
28 typedef struct BooleanOrder BooleanOrder;
29 typedef struct BooleanVar BooleanVar;
30 typedef struct BooleanLogic BooleanLogic;
31 typedef struct BooleanComp BooleanComp;
32
33 struct Boolean;
34 typedef struct Boolean Boolean;
35
36 struct IncrementalSolver;
37 typedef struct IncrementalSolver IncrementalSolver;
38
39 struct Set;
40 typedef struct Set Set;
41 typedef struct Set MutableSet;
42
43 struct Element;
44 typedef struct Element Element;
45
46 typedef struct FunctionOperator FunctionOperator;
47 typedef struct FunctionTable FunctionTable;
48
49 struct Function;
50 typedef struct Function Function;
51
52 struct Predicate;
53 typedef struct Predicate Predicate;
54
55 struct Table;
56 typedef struct Table Table;
57
58 struct Order;
59 typedef struct Order Order;
60
61 struct ElementEncoding;
62 typedef struct ElementEncoding ElementEncoding;
63
64 struct FunctionEncoding;
65 typedef struct FunctionEncoding FunctionEncoding;
66
67 struct OrderEncoding;
68 typedef struct OrderEncoding OrderEncoding;
69
70 struct TableEntry;
71 typedef struct TableEntry TableEntry;
72
73 typedef unsigned int uint;
74 typedef uint64_t VarType;
75 #endif