-/*
+/*
* File: integerencodingrecord.h
* Author: hamed
*
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 */