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-pretty_print.adb | |
| parent | aa31ebe381d555725cdae2abafa93bac976f1c7e (diff) | |
Removed free logic Variable tracking in States, removed Fresh_Node and Static_Node from Goal graphs
Diffstat (limited to 'src/kompsos-pretty_print.adb')
| -rw-r--r-- | src/kompsos-pretty_print.adb | 31 |
1 files changed, 4 insertions, 27 deletions
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); |