From ab0154499e1b0ad8c3f104bc8a1d8ea7f1fb4a5c Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sat, 17 Jan 2026 22:13:19 +1300 Subject: Counter for next available Variable now held by each Goal instead of being global --- src/kompsos-collector.ads | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/kompsos-collector.ads') diff --git a/src/kompsos-collector.ads b/src/kompsos-collector.ads index 4ee9402..b58721a 100644 --- a/src/kompsos-collector.ads +++ b/src/kompsos-collector.ads @@ -39,9 +39,11 @@ private type Goal_Access is access all Goal; - type Constant_Goal_Access is access constant Goal; + type Graph_Access is access all Goal_Graph; + type Constant_Graph_Access is access constant Goal_Graph; + type State_Access is access State; type Eval_Kind is @@ -74,7 +76,7 @@ private end record; package Eval_Maps is new Ada.Containers.Ordered_Maps - (Key_Type => Goal_Component_Access, + (Key_Type => Graph_Component_Access, Element_Type => Eval_Data); type Managed_Map is new Ada.Finalization.Controlled with record @@ -91,7 +93,7 @@ private Element_Type => State); package Cache_Maps is new Ada.Containers.Ordered_Maps - (Key_Type => Goal_Component_Access, + (Key_Type => Graph_Component_Access, Element_Type => State_Vectors.Vector, "=" => State_Vectors."="); -- cgit