Commit 2e39582b authored by danfis's avatar danfis

bin/sym-reduce: Added possibility to turn off op-mutex pruning.

parent 715d6d81
......@@ -41,6 +41,7 @@ static struct {
int op_mutex_op_fact;
int op_mutex_op_all;
int op_mutex_single_fact;
int disable_op_mutex;
const char *fd_output;
} opt = {
......@@ -52,6 +53,7 @@ static struct {
0,
0,
0,
0,
NULL, /* .fd_output */
};
......@@ -125,6 +127,8 @@ static int options(int argc, char *argv[])
optsAddDesc("op-mutex-single-fact", 0x0, OPTS_NONE,
&opt.op_mutex_single_fact, NULL,
"Op-mutexes using projection to a single facts.");
optsAddDesc("disable-op-mutex", 0x0, OPTS_NONE, &opt.disable_op_mutex, NULL,
"Turns off pruning usign op-mutexes.");
optsAddDesc("fd-output", 0x0, OPTS_STR, &opt.fd_output, NULL,
"Write the problem translated to FDR in Fast-Downward format.");
......@@ -420,6 +424,9 @@ static int sym_reduce(plan_strips_t *strips, bor_err_t *err)
update_op_mutex = 1;
}
if (opt.disable_op_mutex)
break;
if (update_op_mutex){
update_op_mutex = 0;
size = planStripsFactsSize(&strips->fact);
......
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