return;
}
case ORDERCONST: {
- if(((BooleanOrder *) This)->order->encoding.type == ORDER_UNASSIGNED)
+ if (((BooleanOrder *) This)->order->encoding.type == ORDER_UNASSIGNED)
((BooleanOrder *) This)->order->setOrderEncodingType(PAIRWISE);
return;
}
void naiveEncodingElement(Element *This) {
ElementEncoding *encoding = This->getElementEncoding();
if (encoding->getElementEncodingType() == ELEM_UNASSIGNED) {
+ if(This->type != ELEMCONST){
+ model_print("INFO: naive encoder is making the decision about element %p....\n", This);
+ }
encoding->setElementEncodingType(BINARYINDEX);
encoding->encodingArrayInitialization();
}