struct FunctionEncoding;
typedef struct FunctionEncoding FunctionEncoding;
+struct TableEntry;
+typedef struct TableEntry TableEntry;
+
++
+ typedef enum ArithOp ArithOp;
+ typedef enum LogicOp LogicOp;
+ typedef enum CompOp CompOp;
+ typedef enum OrderType OrderType;
+ typedef enum OverFlowBehavior OverFlowBehavior;
+
typedef unsigned int uint;
typedef uint64_t VarType;
#endif
#include "structs.h"
struct CSolver {
+ /** This is a vector of constraints that must be satisfied. */
VectorBoolean * constraints;
+
+ /** This is a vector of all boolean structs that we have allocated. */
VectorBoolean * allBooleans;
+
+ /** This is a vector of all set structs that we have allocated. */
VectorSet * allSets;
+
+ /** This is a vector of all element structs that we have allocated. */
VectorElement * allElements;
+ VectorPredicate * allPredicates;
+ VectorTable * allTables;
};
/** Create a new solver instance. */