X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Fintegerencodingrecord.h;h=39c54ed9dc7476bbc8863a90ca0e6284303d08a3;hb=44b06433a75c430f8b7dda303b2294ea78892ec1;hp=3069da536b6127009f5ba337329e3c5198c48f19;hpb=db18e3357fda778cdf03b6338a0301b4bd9525c2;p=satune.git

diff --git a/src/ASTTransform/integerencodingrecord.h b/src/ASTTransform/integerencodingrecord.h
index 3069da5..39c54ed 100644
--- a/src/ASTTransform/integerencodingrecord.h
+++ b/src/ASTTransform/integerencodingrecord.h
@@ -1,4 +1,4 @@
-/* 
+/*
  * File:   integerencodingrecord.h
  * Author: hamed
  *
@@ -13,15 +13,16 @@
 
 class IntegerEncodingRecord {
 public:
-	Set* set;
-	IntegerEncodingRecord(Set* set);
+	IntegerEncodingRecord(Set *set);
 	~IntegerEncodingRecord();
-	Element* getOrderIntegerElement(CSolver *This, uint64_t item);
-	MEMALLOC;
-	
+	Element *getOrderIntegerElement(CSolver *This, uint64_t item, bool create = true);
+	inline Set *getSecondarySet() { return secondarySet; }
+	CMEMALLOC;
+
 private:
-	HashSetOrderElement *elementTable;
+	Set *secondarySet;
+	HashsetOrderElement *elementSet;
 };
 
-#endif /* INTEGERENCODINGRECORD_H */
+#endif/* INTEGERENCODINGRECORD_H */