Changed the map for DOT in Pretty_Print to a Hashed_Map

1 files changed, 19 insertions, 1 deletions

diff --git a/src/kompsos.adb b/src/kompsos.adb
index b12e1fb..7eecb00 100644
--- a/src/kompsos.adb
+++ b/src/kompsos.adb
@@ -8,8 +8,11 @@
 
 with
 
+    Ada.Containers,
     Ada.Unchecked_Deallocation,
-    Kompsos.Collector;
+    Kompsos.Collector,
+    System.Address_To_Access_Conversions,
+    System.Storage_Elements;
 
 
 package body Kompsos is
@@ -268,6 +271,21 @@ package body Kompsos is
 
 
 
+    --  Goals  --
+
+    package Graph_Comp_Conv is new System.Address_To_Access_Conversions (Graph_Component);
+
+    function Graph_Component_Access_Hash
+           (Key : in Graph_Component_Access)
+        return Ada.Containers.Hash_Type
+    is
+        use Ada.Containers, Graph_Comp_Conv, System.Storage_Elements;
+    begin
+        return Hash_Type (To_Integer (To_Address (Object_Pointer (Key))) mod Hash_Type'Modulus);
+    end Graph_Component_Access_Hash;
+
+
+
 
     -------------------
     --  microKanren  --