Commits

bergsoe committed d6aea76

Cosmetic changes.

Comments (0)

Files changed (1)

src/PaplTreePlanner.ml

 
 module MakeSetupUtil (S : SETUP) = struct
   include S
-  let get_node_q node = S.get_q (Tree.get node)
+
+  let get_node_q node = get_q (Tree.get node)
+
+  let path_to_root node =
+    List.map get_q (Tree.path_to_root node)
 end
 
 module MakeBidir (SA0 : SETUP) (SB0 : SETUP with type q_t = SA0.q_t) :
   module SA = MakeSetupUtil(SA0)
   module SB = MakeSetupUtil(SB0)
 
-  let path_to_root node get =
-    List.map get (Tree.path_to_root node)
-
   let get_path na nb =
-    List.rev (path_to_root na SA0.get_q) @
-      (path_to_root nb SB0.get_q)
+    List.rev (SA.path_to_root na) @ (SB.path_to_root nb)
 
   let planner stop (ta, tb) =
     let rec loop_a ta tb =