diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-13 11:33:54 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-13 11:33:54 +1300 |
| commit | 4fc6e07ce04c34903d31c1a4c280931650fa82f2 (patch) | |
| tree | 69db248ad16624a837505f09b8cc8b142d769e65 /src/kompsos.ads | |
| parent | c9e156fdc3449d1cbc9dac4176cc460f6462ef18 (diff) | |
Refactor of rollover laziness
Diffstat (limited to 'src/kompsos.ads')
| -rw-r--r-- | src/kompsos.ads | 33 |
1 files changed, 14 insertions, 19 deletions
diff --git a/src/kompsos.ads b/src/kompsos.ads index a8b8851..d2b6fe5 100644 --- a/src/kompsos.ads +++ b/src/kompsos.ads @@ -237,8 +237,8 @@ private (No_Gen, Fresh_Gen, Unify_Gen, - Disjunct1_Gen, - Disjunct2_Gen, + Buffer_Gen, + Disjunct_Gen, Recurse_Gen); type Generator (Kind : Generator_Kind := No_Gen) is record @@ -246,25 +246,20 @@ private when No_Gen => null; when Fresh_Gen => - FrG_World : World_Access; - FrG_Index : Positive; - FrG_Name : SU.Unbounded_String; + Frs_World : World_Access; + Frs_Name : SU.Unbounded_String; when Unify_Gen => - UniG_World : World_Access; - UniG_Index : Positive; - UniG_Term1 : Term; - UniG_Term2 : Term; - when Disjunct1_Gen => - Dis1G_World : World_Access; - Dis1G_Index : Positive; - when Disjunct2_Gen => - Dis2G_World1 : World_Access; - Dis2G_Index1 : Positive; - Dis2G_World2 : World_Access; - Dis2G_Index2 : Positive; + Uni_World : World_Access; + Uni_Term1 : Term; + Uni_Term2 : Term; + when Buffer_Gen => + Buff_World : World_Access; + when Disjunct_Gen => + Dis_World1 : World_Access; + Dis_World2 : World_Access; when Recurse_Gen => - RecG_World : World_Access; - RecG_Index : Positive; + Rec_World : World_Access; + Rec_Index : Positive; end case; end record; |