Reorg code
[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 //#include "hashset.h"
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
22 struct Constraint;
23 typedef struct Constraint Constraint;
24
25 struct Boolean;
26 typedef struct Boolean Boolean;
27
28 struct IncrementalSolver;
29 typedef struct IncrementalSolver IncrementalSolver;
30
31 struct Set;
32 typedef struct Set Set;
33
34 typedef struct Set MutableSet;
35
36 struct Element;
37 typedef struct Element Element;
38
39 struct Function;
40 typedef struct Function Function;
41
42 struct Predicate;
43 typedef struct Predicate Predicate;
44
45 struct Table;
46 typedef struct Table Table;
47
48 struct Order;
49 typedef struct Order Order;
50
51 typedef unsigned int uint;
52 typedef uint64_t VarType;
53 #endif