for (uint i = 0; i < size; i++) {
Order *order = orders->get(i);
DecomposeOrderTransform* decompose = new DecomposeOrderTransform(This, order, DECOMPOSEORDER, &onoff);
- if (!decompose->canExecuteTransform())
+ if (!decompose->canExecuteTransform()){
continue;
+ delete decompose;
+ }
OrderGraph *graph = buildOrderGraph(order);
if (order->type == PARTIAL) {
IntegerEncodingTransform* integerEncoding = new IntegerEncodingTransform(This, order, ORDERINTEGERENCODING, &offon);
- if(!integerEncoding->canExecuteTransform())
+ if(!integerEncoding->canExecuteTransform()){
continue;
+ delete integerEncoding;
+ }
integerEncoding->doTransform();
delete integerEncoding;
}
void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
void doTransform();
bool canExecuteTransform();
- ~IntegerEncodingTransform();
+ virtual ~IntegerEncodingTransform();
private:
Order* order;
// In future we can use a singleton class instead of static variable for keeping data that needed