Iterative deepening depth first search as a complete (?) search method

1 files changed, 10 insertions, 2 deletions

diff --git a/src/kompsos-collector.ads b/src/kompsos-collector.ads
index a341e1b..6a890a3 100644
--- a/src/kompsos-collector.ads
+++ b/src/kompsos-collector.ads
@@ -88,11 +88,10 @@ private
         Element_Type => Goal_Access);
 
 
-    --  Upwards Depth First Search  --
+    --  Upwards Iterative Deepening Depth First Search  --
 
     type Breadcrumb is record
         Choice_Node : Graph_Component_Access;
-        Option      : Positive;
         State_Size  : Long_Natural;
     end record;
 
@@ -100,6 +99,15 @@ private
        (Index_Type   => Positive,
         Element_Type => Breadcrumb);
 
+    subtype Choice_Vector is Positive_Vectors.Vector;
+
+    package Choice_Vector_Vectors is new Ada.Containers.Vectors
+       (Index_Type   => Positive,
+        Element_Type => Choice_Vector,
+        "="          => Positive_Vectors."=");
+
+    Initial_Depth_Limit : constant Positive := 5;
+
 
     --  Cleanup  --