2 * File: integerencodingrecord.h
5 * Created on August 26, 2017, 6:19 PM
8 #ifndef INTEGERENCODINGRECORD_H
9 #define INTEGERENCODINGRECORD_H
10 #include "classlist.h"
14 class IntegerEncodingRecord {
17 IntegerEncodingRecord(Set* set);
18 ~IntegerEncodingRecord();
19 Element* getOrderIntegerElement(CSolver *This, uint64_t item);
23 HashSetOrderElement *elementTable;
26 #endif /* INTEGERENCODINGRECORD_H */