Unrolled linked lists for StateHEADmaster

1 files changed, 15 insertions, 3 deletions

diff --git a/src/kompsos.ads b/src/kompsos.ads
index d1e19be..b8629fb 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -459,11 +459,23 @@ private
 
 
 
+    type Binding is record
+        Key   : Variable;
+        Value : Term;
+    end record;
+
+    type Binding_Array is array (Positive range <>) of Binding;
+
+    --  Values of 2, 3, 4 here are honestly fairly similar, but of those, 4 seems to work best
+    Unroll_Max : constant Integer := 4;
+
+    subtype Valid_Count is Integer range 1 .. Unroll_Max;
+
     type State_Component is limited record
         Counter : Natural;
-        Key     : Variable;
-        Value   : Term;
-        Next    : aliased State;
+        Valid   : Valid_Count;
+        Data    : Binding_Array (Valid_Count'Range);
+        Next    : State;
     end record;
 
     type State_Component_Access is access State_Component;