From 32eea08483afb754c7da5663f33cd022d4a2723c Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sun, 8 Feb 2026 22:00:52 +1300 Subject: Iterative deepening depth first search as a complete (?) search method --- src/kompsos-collector.ads | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'src/kompsos-collector.ads') 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 -- -- cgit