#include "csolver.h"
void computePolarities(CSolver *This) {
- HSIteratorBoolean *iterator = This->getConstraints();
+ SetIteratorBoolean *iterator = This->getConstraints();
while (iterator->hasNext()) {
Boolean *boolean = iterator->next();
updatePolarity(boolean, P_TRUE);
updatePolarity(tmp, negatePolarity(parentpolarity));
break;
}
+ case SATC_IFF:
case SATC_XOR: {
updatePolarity(This->inputs.get(0), P_BOTHTRUEFALSE);
updatePolarity(This->inputs.get(1), P_BOTHTRUEFALSE);
updateMustValue(This->inputs.get(1), parentbv);
}
return;
+ case SATC_IFF:
case SATC_XOR:
return;
default: