src/ASTTransform/integerencodingrecord.h

   1 /*
   2  * File:   integerencodingrecord.h
   3  * Author: hamed
   4  *
   5  * Created on August 26, 2017, 6:19 PM
   6  */
   7
   8 #ifndef INTEGERENCODINGRECORD_H
   9 #define INTEGERENCODINGRECORD_H
  10 #include "classlist.h"
  11 #include "structs.h"
  12 #include "mymemory.h"
  13
  14 class IntegerEncodingRecord {
  15 public:
  16         IntegerEncodingRecord(Set* set);
  17         ~IntegerEncodingRecord();
  18         Element* getOrderIntegerElement(CSolver *This, uint64_t item);
  19         inline Set* getSecondarySet() { return secondarySet; }
  20         CMEMALLOC;
  21
  22 private:
  23         Set* secondarySet;
  24         HashsetOrderElement *elementTable;
  25 };
  26
  27 #endif /* INTEGERENCODINGRECORD_H */
  28