2 * File: integerencodingrecord.cpp
5 * Created on August 26, 2017, 6:19 PM
8 #include "integerencodingrecord.h"
10 #include "orderelement.h"
12 IntegerEncodingRecord::IntegerEncodingRecord(Set* _set):
15 elementTable = new HashsetOrderElement();
18 IntegerEncodingRecord::~IntegerEncodingRecord(){
19 if (elementTable != NULL) {
24 Element * IntegerEncodingRecord::getOrderIntegerElement(CSolver *This, uint64_t item) {
25 OrderElement oelement(item, NULL);
26 if ( !elementTable->contains(&oelement)) {
27 Element *elem = This->getElementVar(secondarySet);
28 elementTable->add(new OrderElement(item, elem));
31 return elementTable->get(&oelement)->getElement();