void SATEncoder::encodeElementSATEncoder(Element *element) {
/* Check to see if we have already encoded this element. */
- if (getElementEncoding(element)->variables != NULL)
+ if (element->getElementEncoding()->variables != NULL)
return;
/* Need to encode. */
}
void SATEncoder::encodeTableElementFunctionSATEncoder(ElementFunction *function) {
- switch (getElementFunctionEncoding(function)->type) {
+ switch (function->getElementFunctionEncoding()->type) {
case ENUMERATEIMPLICATIONS:
encodeEnumTableElemFunctionSATEncoder(function);
break;