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;
22 typedef struct SATEncoder SATEncoder;
24 typedef struct BooleanOrder BooleanOrder;
25 typedef struct BooleanInterOrder BooleanInterOrder;
26 typedef struct BooleanVar BooleanVar;
27 typedef struct BooleanLogic BooleanLogic;
28 typedef struct BooleanPredicate BooleanPredicate;
31 typedef struct ASTNode ASTNode;
34 typedef struct Boolean Boolean;
36 struct IncrementalSolver;
37 typedef struct IncrementalSolver IncrementalSolver;
40 typedef struct Set Set;
41 typedef struct Set MutableSet;
43 typedef struct ElementFunction ElementFunction;
44 typedef struct ElementSet ElementSet;
45 typedef struct ElementConst ElementConst;
48 typedef struct Element Element;
50 typedef struct FunctionOperator FunctionOperator;
51 typedef struct FunctionTable FunctionTable;
54 typedef struct Function Function;
57 typedef struct Predicate Predicate;
59 struct PredicateTable;
60 typedef struct PredicateTable PredicateTable;
62 struct PredicateOperator;
63 typedef struct PredicateOperator PredicateOperator;
66 typedef struct Table Table;
69 typedef struct Order Order;
72 typedef struct OrderPair OrderPair;
74 struct ElementEncoding;
75 typedef struct ElementEncoding ElementEncoding;
77 struct FunctionEncoding;
78 typedef struct FunctionEncoding FunctionEncoding;
81 typedef struct OrderEncoding OrderEncoding;
84 typedef struct TableEntry TableEntry;
87 typedef struct OrderGraph OrderGraph;
90 typedef struct OrderNode OrderNode;
93 typedef struct OrderEdge OrderEdge;
95 typedef unsigned int uint;
96 typedef uint64_t VarType;