diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2026-01-17 15:25:17 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2026-01-17 15:25:17 +1300 |
| commit | 8508d8b77106a2586b425df687ddb401cbcf779f (patch) | |
| tree | c989d176d68227c34638bf48259bb634b820d607 /src/kompsos-collector.ads | |
| parent | aa31ebe381d555725cdae2abafa93bac976f1c7e (diff) | |
Removed free logic Variable tracking in States, removed Fresh_Node and Static_Node from Goal graphs
Diffstat (limited to 'src/kompsos-collector.ads')
| -rw-r--r-- | src/kompsos-collector.ads | 8 |
1 files changed, 7 insertions, 1 deletions
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, |