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-pretty_print.adb | 31 ++++--------------------------- 1 file changed, 4 insertions(+), 27 deletions(-) (limited to 'src/kompsos-pretty_print.adb') diff --git a/src/kompsos-pretty_print.adb b/src/kompsos-pretty_print.adb index c888e13..3171164 100644 --- a/src/kompsos-pretty_print.adb +++ b/src/kompsos-pretty_print.adb @@ -94,22 +94,11 @@ package body Kompsos.Pretty_Print is is Result : SU.Unbounded_String; begin - SU.Append (Result, Latin.HT & "Variables:"); - if Item.LVars.Is_Empty then - SU.Append (Result, " N/A" & Latin.LF); + if Item.Actual.Is_Empty then + SU.Append (Result, Latin.HT & "N/A" & Latin.LF); else - SU.Append (Result, Latin.LF); - for LVar of Item.LVars loop - SU.Append (Result, Latin.HT & Latin.HT & Image (LVar) & Latin.LF); - end loop; - end if; - SU.Append (Result, Latin.HT & "Substitution:"); - if Item.Subst.Is_Empty then - SU.Append (Result, " N/A" & Latin.LF); - else - SU.Append (Result, Latin.LF); - for Iter in Item.Subst.Iterate loop - SU.Append (Result, Latin.HT & Latin.HT & + for Iter in Item.Actual.Iterate loop + SU.Append (Result, Latin.HT & Image (Binding_Maps.Key (Iter)) & " => " & Image (Binding_Maps.Element (Iter)) & Latin.LF); end loop; @@ -175,18 +164,6 @@ package body Kompsos.Pretty_Print is Nodes.Insert (This.Actual, Next); Next := Next + 1; case This.Actual.Kind is - when Static_Node => - SU.Append (Result, Latin.HT & - "n" & Image (Nodes.Element (This.Actual)) & " [label=""static""];" & Latin.LF); - when Fresh_Node => - SU.Append (Result, Latin.HT & - "n" & Image (Nodes.Element (This.Actual)) & " [label=""fresh""];" & Latin.LF); - Do_Structure_DOT (This.Actual.Frs_Goal, Nodes, Next, Result); - if Nodes.Contains (This.Actual.Frs_Goal.Actual) then - SU.Append (Result, Latin.HT & - "n" & Image (Nodes.Element (This.Actual)) & " -> " & - "n" & Image (Nodes.Element (This.Actual.Frs_Goal.Actual)) & ";" & Latin.LF); - end if; when Unify_Node => SU.Append (Result, Latin.HT & "n" & Image (Nodes.Element (This.Actual)) & " [label=""unify""];" & Latin.LF); -- cgit