Edit

[satune.git] / src / ASTTransform / integerencodingrecord.h

diff --git a/src/ASTTransform/integerencodingrecord.h b/src/ASTTransform/integerencodingrecord.h
index 682b0c3867fae96d6054e4a6a3c8ee0baf3869a1..39c54ed9dc7476bbc8863a90ca0e6284303d08a3 100644 (file)
--- 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:
-       IntegerEncodingRecord(Set* set);
+       IntegerEncodingRecord(Set *set);
        ~IntegerEncodingRecord();
-       Element* getOrderIntegerElement(CSolver *This, uint64_t item);
-       inline Set* getSecondarySet() { return secondarySet; }
-       MEMALLOC;
+       Element *getOrderIntegerElement(CSolver *This, uint64_t item, bool create = true);
+       inline Set *getSecondarySet() { return secondarySet; }
+       CMEMALLOC;
+
 private:
-       Set* secondarySet;
-       HashSetOrderElement *elementTable;
+       Set *secondarySet;
+       HashsetOrderElement *elementSet;
 };
 
-#endif /* INTEGERENCODINGRECORD_H */
+#endif/* INTEGERENCODINGRECORD_H */