diff options
Diffstat (limited to 'src/kompsos-collector.ads')
| -rw-r--r-- | src/kompsos-collector.ads | 12 |
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 -- |