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;
26 typedef struct Constraint Constraint;
28 typedef struct BooleanOrder BooleanOrder;
29 typedef struct BooleanVar BooleanVar;
30 typedef struct BooleanLogic BooleanLogic;
31 typedef struct BooleanPredicate BooleanPredicate;
34 typedef struct ASTNode ASTNode;
37 typedef struct Boolean Boolean;
39 struct IncrementalSolver;
40 typedef struct IncrementalSolver IncrementalSolver;
43 typedef struct Set Set;
44 typedef struct Set MutableSet;
46 typedef struct ElementFunction ElementFunction;
47 typedef struct ElementSet ElementSet;
50 typedef struct Element Element;
52 typedef struct FunctionOperator FunctionOperator;
53 typedef struct FunctionTable FunctionTable;
56 typedef struct Function Function;
59 typedef struct Predicate Predicate;
61 struct PredicateTable;
62 typedef struct PredicateTable PredicateTable;
64 struct PredicateOperator;
65 typedef struct PredicateOperator PredicateOperator;
68 typedef struct Table Table;
71 typedef struct Order Order;
74 typedef struct OrderPair OrderPair;
76 struct ElementEncoding;
77 typedef struct ElementEncoding ElementEncoding;
79 struct FunctionEncoding;
80 typedef struct FunctionEncoding FunctionEncoding;
83 typedef struct OrderEncoding OrderEncoding;
86 typedef struct TableEntry TableEntry;
88 typedef unsigned int uint;
89 typedef uint64_t VarType;