Can now output the basic structural DAG of a World in DOT format

1 files changed, 18 insertions, 5 deletions

diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads
index 1316d5a..19da0af 100644
--- a/src/kompsos-pretty_print.ads
+++ b/src/kompsos-pretty_print.ads
@@ -6,6 +6,11 @@
 --  See license.txt for further details
 
 
+private with
+
+    Ada.Containers.Ordered_Maps;
+
+
 generic
     with function Element_Image
            (Item : in Element_Type)
@@ -17,27 +22,31 @@ package Kompsos.Pretty_Print is
            (Item : in Integer)
         return String;
 
-
     function Image
            (Item : in Term)
         return String;
 
-
     function Image
            (Item : in State)
         return String;
 
-
     function Image
            (Item : in State_Array)
         return String;
 
-
     function Image
            (Item : in World)
         return String;
 
 
+
+
+    function Structure_DOT
+           (This : in World;
+            Name : in String := "")
+        return String;
+
+
 private
 
 
@@ -45,12 +54,16 @@ private
            (Item : in Long_Natural)
         return String;
 
-
     function Image
            (Item : in Variable)
         return String;
 
 
+    package DOT_Node_Maps is new Ada.Containers.Ordered_Maps
+       (Key_Type     => World_Component_Access,
+        Element_Type => Long_Natural);
+
+
 end Kompsos.Pretty_Print;