void deleteOrder(Order* order){
deleteVectorArrayBoolean(& order->constraints);
deleteOrderEncoding(& order->order);
- deleteHashTableBoolConst(order->boolsToConstraints);
+ if(order->boolsToConstraints!= NULL)
+ deleteHashTableBoolConst(order->boolsToConstraints);
ourfree(order);
}
model_print("!t%u",This->numoperandsorvar);
break;
default:
+ model_print("In printingConstraint: %d", This->type);
ASSERT(0);
}
}
for(uint i=0;i<size;i++) {
Boolean *constraint=getVectorBoolean(constraints, i);
Constraint* c= encodeConstraintSATEncoder(This, constraint);
- addConstraintToSATSolver(c, This->satSolver);
printConstraint(c);
model_print("\n\n");
+ addConstraintToSATSolver(c, This->satSolver);
//FIXME: When do we want to delete constraints? Should we keep an array of them
// and delete them later, or it would be better to just delete them right away?
}
Element* inputs2 [] = {e4, e3};
Boolean* pred = applyPredicate(solver, equal2, inputs2, 2);
addBoolean(solver, pred);
-// startEncoding(solver);
+ startEncoding(solver);
deleteSolver(solver);
}