Implementing client interfaces regarding Sets

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 7b2d65924c917aff764afb476d5ca3c49799dd43..f2db838c409b7aa0557b941847a9c56421570cd0 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -6,10 +6,11 @@
 
 struct CSolver {
        VectorBoolean * constraint;
+        uint64_t uniqSec;
 };
        
 CSolver * allocCSolver();
-Set * createSet(CSolver *, VarType type, uint64_t ** elements);
+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);