From 8508d8b77106a2586b425df687ddb401cbcf779f Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sat, 17 Jan 2026 15:25:17 +1300 Subject: Removed free logic Variable tracking in States, removed Fresh_Node and Static_Node from Goal graphs --- src/kompsos-collector.ads | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/kompsos-collector.ads') diff --git a/src/kompsos-collector.ads b/src/kompsos-collector.ads index cbe8dd7..4ee9402 100644 --- a/src/kompsos-collector.ads +++ b/src/kompsos-collector.ads @@ -61,7 +61,7 @@ private Dis_Gone1 : Boolean := False; Dis_Gone2 : Boolean := False; when Conjunct_Data => - Con_From : Long_Positive := 2; -- Number one will be obtained by Get_Next already + Con_From : Long_Positive := 1; Con_Base : State_Access := null; Con_Part : Goal_Access := null; Con_Next : Long_Positive := 1; @@ -84,6 +84,12 @@ private overriding procedure Finalize (This : in out Managed_Map); + + + package State_Vectors is new Ada.Containers.Vectors + (Index_Type => Long_Positive, + Element_Type => State); + package Cache_Maps is new Ada.Containers.Ordered_Maps (Key_Type => Goal_Component_Access, Element_Type => State_Vectors.Vector, -- cgit