Edge SATEncoder::encodeConstraintSATEncoder(BooleanEdge c) {
Edge result;
- Boolean * constraint = c.getBoolean();
+ Boolean *constraint = c.getBoolean();
if (booledgeMap.contains(constraint)) {
Edge e = {(Node *) booledgeMap.get(constraint)};
case SATC_OR:
case SATC_XOR:
case SATC_IMPLIES:
- //Don't handle, translate these away...
+ //Don't handle, translate these away...
default:
model_print("Unhandled case in encodeLogicSATEncoder %u", constraint->op);
exit(-1);