uint64_t getElementValueSATTranslator(CSolver *This, Element *element) {
ElementEncoding *elemEnc = getElementEncoding(element);
if (elemEnc->numVars == 0)//case when the set has only one item
- return getElementSet(element)->getElement(0);
+ return element->getRange()->getElement(0);
switch (elemEnc->type) {
case ONEHOT:
return getElementValueOneHotSATTranslator(This, elemEnc);
return getElementValueUnarySATTranslator(This, elemEnc);
case BINARYINDEX:
return getElementValueBinaryIndexSATTranslator(This, elemEnc);
- case ONEHOTBINARY:
- ASSERT(0);
break;
case BINARYVAL:
ASSERT(0);