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 elementSet = new HashsetOrderElement();
18 IntegerEncodingRecord::~IntegerEncodingRecord() {
19 SetIteratorOrderElement *oiterator = elementSet->iterator();
20 while (oiterator->hasNext()) {
21 OrderElement *oe = oiterator->next();
28 Element *IntegerEncodingRecord::getOrderIntegerElement(CSolver *This, uint64_t item, bool create) {
29 OrderElement oelement(item, NULL);
30 if ( elementSet->contains(&oelement)) {
31 return elementSet->get(&oelement)->getElement();
33 Element *elem = This->getElementVar(secondarySet);
34 elementSet->add(new OrderElement(item, elem));