open MetadataTypes
let critical_value = 7
-let just_factor = 3
+let just_factor = 1
module UriManagerSet = UriManager.UriSet
module SetSet = Set.Make (UriManagerSet)
maximal_prefixes)
in
(* Printf.fprintf stderr "all: %d\n" (List.length all);flush_all (); *)
- List.filter (function (_,uri) -> at_most ~dbd ~where constants uri) all in
+ List.filter (function (_,uri) ->
+ prerr_endline ("W" ^UriManager.string_of_uri uri);
+ at_most ~dbd ~where constants uri) all
+ in
let equal_to = compute_exactly ~dbd ~facts ~where main prefixes in
greater_than @ equal_to
let types_no = List.length types in
List.map (function (n,l) -> (n+types_no,types@l)) subsets
in
+ prerr_endline ("critical_value exceded..." ^ string_of_int constants_no);
let all_constants =
let all = match main with None -> types | Some m -> m::types in
List.fold_right UriManagerSet.add all constants