Also show parent nodes in debugger

src/lib/CoAlgMisc.ml

@@ -683,6 +683,9 @@ let coreToString core =
     let children =
         List.map (fun (st:state) -> string_of_int st.idx) core.childrenC
     in
+    let parents =
+        List.map (fun (st,_:state*int) -> string_of_int st.idx) core.parentsC
+    in
     "Core "^(string_of_int core.idx)^" {\n"^
     "  Status: " ^ (nodeStatusToString core.statusC) ^ "\n"^
     "  " ^ bsetToString core.sortC core.bsC ^ "\n" ^
@@ -690,6 +693,7 @@ let coreToString core =
                          "\n                 " constraints)^" }\n"^
     "  Children: { "^(String.concat
                          ", " children)^" }\n"^
+    "  Parents: { "^(String.concat ", " parents)^" }\n"^
     "}"
 
 let stateToString (state:state): string =
@@ -707,6 +711,9 @@ let stateToString (state:state): string =
     let conclusionList =
         List.map (fun x -> "{"^String.concat ", " x^"}") conclusionList
     in
+    let parents =
+        List.map (fun (co:core) -> string_of_int co.idx) state.parentsS
+    in
     "State "^(string_of_int state.idx)^" {\n"^
     "  Status: " ^ (nodeStatusToString state.statusS) ^ "\n"^
     "  " ^ bsetToString state.sortS state.bsS ^ "\n" ^
@@ -714,6 +721,7 @@ let stateToString (state:state): string =
                          "\n                 " constraints)^" }\n"^
     "  Children: { "^(String.concat
                          "\n              " conclusionList)^" }\n"^
+    "  Parents: { "^(String.concat ", " parents)^" }\n"^
     "}"
 
 let queuePrettyStatus () =