*)
(* concl_cost are the costants in the conclusion of the proof
while hyp_const are the constants in the hypothesis *)
- let concl_const = NewConstraints.constants_concl ty in
+ let (main_concl,concl_const) = NewConstraints.mainandcons ty in
prerr_endline ("Ne sono rimasti 1 " ^ string_of_int (List.length uris));
let hyp t set =
match t with
if (List.length uris < (Filter_auto.power 2 (List.length (NewConstraints.StringSet.elements all_const))))
then
(prerr_endline("metodo vecchio");List.filter (Filter_auto.filter_new_constants conn all_const) uris)
- else Filter_auto.filter_uris conn all_const uris in
+ else Filter_auto.filter_uris conn all_const uris main_concl in
(*
let uris =
(* ristretto all cache *)