Commit 40191584 authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

Small fixes in gdbasis program options

parent 0b95f4aa
......@@ -123,12 +123,14 @@ parse_arguments(int argc, char *argv[])
("body-minimal,m", po::bool_switch(&conf.body_minimal),
"compute only body minimal representation, i.e. do not use "
"left-saturation, options keep-body-in-closure and "
"omit-empty-closure are ignored in this case") //
"omit-empty-closure are ignored in this case (keep-body-in-closure "
"is set, omit-empty-closure is unset)") //
("right-irredundant,r", po::bool_switch(&conf.right_irredundant),
"make the implication system right irredundant at the end, options "
"keep-body-in-closure and omit-empty-closure are ignored in this "
"case, however left saturation is performed if not suppressed by "
"option body-minimal.");
"case (keep-body-in-closure is set, omit-empty-closure is unset), "
"however left saturation is performed if not suppressed by option "
if (!opts.Parse(argc, argv) || !opt_impl_type.GetValue(conf.impl_type)
|| !opt_output_type.GetValue(conf.output_type))
......@@ -266,4 +268,5 @@ main(int argc, char *argv[])
SUBool::logs.TLog(1) << "Unknown impl_type";
return 1;
return 0;
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