maximal_prefixes)
in
(* Printf.fprintf stderr "all: %d\n" (List.length all);flush_all (); *)
+(*
List.filter (function (_,uri) ->
- prerr_endline ("W" ^UriManager.string_of_uri uri);
- at_most ~dbd ~where constants uri) all
+ at_most ~dbd ~where constants uri)
+*)
+ all
in
let equal_to = compute_exactly ~dbd ~facts ~where main prefixes in
greater_than @ equal_to
let subsets = power_upto just_factor constants in
(* let _ = prerr_endline (("subsets: ")^
(string_of_int (List.length subsets))) in *)
- let types_no = List.length types in
- List.map (function (n,l) -> (n+types_no,types@l)) subsets
+ let types_no = List.length types in
+ if types_no > 0 then
+ List.map (function (n,l) -> (n+types_no,types@l)) subsets
+ else subsets
in
prerr_endline ("critical_value exceded..." ^ string_of_int constants_no);
let all_constants =
in
compute_with_only ~dbd ~where main subsets all_constants
else
+ (prerr_endline ("all subsets..." ^ string_of_int constants_no);
let subsets =
let subsets = power constants in
let types_no = List.length types in
if types_no > 0 then
(0,[]) :: List.map (function (n,l) -> (n+types_no,types@l)) subsets
else subsets
- in
- compute_exactly ~dbd ~facts ~where main subsets
+ in
+ prerr_endline "fine1";
+ compute_exactly ~dbd ~facts ~where main subsets)
(* match query wrappers *)