prerr_endline (" " ^ oname);
prerr_endline "Leaf order:";
List.iter (fun ((_,name), (a,b,c,gp,l)) ->
- prerr_endline (name ^ " " ^ string_of_int a ^ " " ^
+ prerr_endline (" " ^name ^ " " ^ string_of_int a ^ " " ^
string_of_int b ^ " " ^
string_of_int c ^ " " ^
String.concat "," (List.map string_of_int gp) ^
name, (n_occ, arity, n_gocc, g_pos, Stats.dependencies name passives))
data
in
- List.sort Pervasives.compare data
+ List.sort
+ (fun (n1,(o1,a1,go1,p1,d1)) (n2,(o2,a2,go2,p2,d2)) ->
+ Pervasives.compare
+ (a1,o1,go1,p1,d1) (a2,o2,go2,p2,d2))
+ data
;;
let worker order goal hypotheses =
[
(fun () -> worker `NRKBO goal hypotheses)
;
-(*
(fun () -> worker `KBO goal hypotheses)
;
(fun () -> worker `LPO goal hypotheses)
-*)
];
let rec aux () =
if List.length !childs = 0 then