let full = ref false;;
+let retrieve_only = ref false;;
+
let _ =
let module S = Saturation in
let set_ratio v = S.weight_age_ratio := v; S.weight_age_counter := v
and set_width w = S.maxwidth := w
and set_depth d = S.maxdepth := d
and set_full () = full := true
+ and set_retrieve () = retrieve_only := true
in
Arg.parse [
"-full", Arg.Unit set_full, "Enable full mode";
"-d", Arg.Int set_depth,
Printf.sprintf "Maximal depth (default: %d)" !Saturation.maxdepth;
+
+ "-retrieve", Arg.Unit set_retrieve, "retrieve only";
] (fun a -> ()) "Usage:"
in
Helm_registry.load_from !configuration_file;
()
in
let term, metasenv, ugraph = get_from_user ~dbd in
-Saturation.main dbd !full term metasenv ugraph;;
+if !retrieve_only then
+ Saturation.retrieve_and_print dbd term metasenv ugraph
+else
+ Saturation.main dbd !full term metasenv ugraph
+;;