1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
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.
12 //#include "hashset.h"
20 typedef struct CSolver CSolver;
23 typedef struct Constraint Constraint;
26 typedef struct Boolean Boolean;
28 struct IncrementalSolver;
29 typedef struct IncrementalSolver IncrementalSolver;
32 typedef struct Set Set;
34 typedef struct Set MutableSet;
37 typedef struct Element Element;
40 typedef struct Function Function;
43 typedef struct Predicate Predicate;
46 typedef struct Table Table;
49 typedef struct Order Order;
51 struct ElementEncoder;
52 typedef struct ElementEncoder ElementEncoder;
54 struct FunctionEncoder;
55 typedef struct FunctionEncoder FunctionEncoder;
57 typedef unsigned int uint;
58 typedef uint64_t VarType;