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.
20 typedef struct CSolver CSolver;
23 typedef struct Constraint Constraint;
25 typedef struct BooleanOrder BooleanOrder;
26 typedef struct BooleanVar BooleanVar;
27 typedef struct BooleanLogic BooleanLogic;
28 typedef struct BooleanComp BooleanComp;
31 typedef struct Boolean Boolean;
33 struct IncrementalSolver;
34 typedef struct IncrementalSolver IncrementalSolver;
37 typedef struct Set Set;
39 typedef struct Set MutableSet;
42 typedef struct Element Element;
45 typedef struct Function Function;
48 typedef struct Predicate Predicate;
51 typedef struct Table Table;
54 typedef struct Order Order;
56 struct ElementEncoding;
57 typedef struct ElementEncoding ElementEncoding;
59 struct FunctionEncoding;
60 typedef struct FunctionEncoding FunctionEncoding;
63 typedef struct TableEntry TableEntry;
65 typedef unsigned int uint;
66 typedef uint64_t VarType;