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 BooleanVar BooleanVar;
26 typedef struct BooleanLogic BooleanLogic;
27 typedef struct BooleanPredicate BooleanPredicate;
30 typedef struct ASTNode ASTNode;
33 typedef struct Boolean Boolean;
35 struct IncrementalSolver;
36 typedef struct IncrementalSolver IncrementalSolver;
39 typedef struct Set Set;
40 typedef struct Set MutableSet;
42 typedef struct ElementFunction ElementFunction;
43 typedef struct ElementSet ElementSet;
46 typedef struct Element Element;
48 typedef struct FunctionOperator FunctionOperator;
49 typedef struct FunctionTable FunctionTable;
52 typedef struct Function Function;
55 typedef struct Predicate Predicate;
57 struct PredicateTable;
58 typedef struct PredicateTable PredicateTable;
60 struct PredicateOperator;
61 typedef struct PredicateOperator PredicateOperator;
64 typedef struct Table Table;
67 typedef struct Order Order;
70 typedef struct OrderPair OrderPair;
72 struct ElementEncoding;
73 typedef struct ElementEncoding ElementEncoding;
75 struct FunctionEncoding;
76 typedef struct FunctionEncoding FunctionEncoding;
79 typedef struct OrderEncoding OrderEncoding;
82 typedef struct TableEntry TableEntry;
84 typedef unsigned int uint;
85 typedef uint64_t VarType;