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