term, metasenv, ugraph
;;
+let full = ref false;;
+
let _ =
let module S = Saturation in
let set_ratio v = S.weight_age_ratio := v; S.weight_age_counter := v
and set_time_limit v = S.time_limit := float_of_int v
and set_width w = S.maxwidth := w
and set_depth d = S.maxdepth := d
+ and set_full () = full := true
in
Arg.parse [
+ "-full", Arg.Unit set_full, "Enable full mode";
"-f", Arg.Bool set_fullred,
"Enable/disable full-reduction strategy (default: enabled)";
()
in
let term, metasenv, ugraph = get_from_user ~dbd in
-Saturation.main dbd term metasenv ugraph;;
+Saturation.main dbd !full term metasenv ugraph;;