Commit 40148988 authored by danfis's avatar danfis

bin/sym-reduce: Fixed removing operators from mutex-pairs.

parent 6a778ff4
......@@ -342,11 +342,12 @@ static int reduceOpMutexSym(plan_strips_t *strips,
BOR_ISET(redundant);
planOpMutexSymRedundantFixpoint(&redundant, strips, &sym, &op_mutex, err);
if (borISetSize(&redundant) > 0)
if (borISetSize(&redundant) > 0){
change = 1;
planStripsDisableOps(strips, &redundant);
planStripsReduce(strips);
planStripsDisableOps(strips, &redundant);
planMutexPairsReduce(mutex_pairs, strips);
planStripsReduce(strips);
}
borISetFree(&redundant);
BOR_INFO(err, "Reduced with op-mutexes and symmetries. facts: %d, ops: %d",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment