-class CSolver {
-public:
- CSolver();
- Set * createSet(Type type, uint64_t ** elements);
- Set * createSet(Type type, uint64_t lowrange, uint64_t highrange);
- MutableSet * createMutableSet(Type type);
+struct CSolver {
+ VectorBoolean * constraint;
+ uint64_t uniqSec;
+};
+
+CSolver * allocCSolver();
+Set * createSet(CSolver *, VarType type, uint64_t * elements, uint num);
+Set * createRangeSet(CSolver *, VarType type, uint64_t lowrange, uint64_t highrange);
+MutableSet * createMutableSet(CSolver *, VarType type);