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 {
16 IntegerEncodingRecord(Set* set);
17 ~IntegerEncodingRecord();
18 Element* getOrderIntegerElement(CSolver *This, uint64_t item);
19 inline Set* getSecondarySet() { return secondarySet; }
24 HashsetOrderElement *elementTable;
27 #endif /* INTEGERENCODINGRECORD_H */