edits
[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 struct Function;
47 typedef struct Function Function;
48
49 struct Predicate;
50 typedef struct Predicate Predicate;
51
52 struct Table;
53 typedef struct Table Table;
54
55 struct Order;
56 typedef struct Order Order;
57
58 struct ElementEncoding;
59 typedef struct ElementEncoding ElementEncoding;
60
61 struct FunctionEncoding;
62 typedef struct FunctionEncoding FunctionEncoding;
63
64 struct OrderEncoding;
65 typedef struct OrderEncoding OrderEncoding;
66
67 struct TableEntry;
68 typedef struct TableEntry TableEntry;
69
70 typedef unsigned int uint;
71 typedef uint64_t VarType;
72 #endif