diff options
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, |