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, bool create = true);
19 inline Set *getSecondarySet() { return secondarySet; }
24 HashsetOrderElement *elementSet;
27 #endif/* INTEGERENCODINGRECORD_H */