Reification, including Term flattening and Treeification

1 files changed, 30 insertions, 0 deletions

diff --git a/src/kompsos.ads b/src/kompsos.ads
index 89ea88b..3164996 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -256,6 +256,10 @@ package Kompsos is
            (This : in out World)
         return State;
 
+    function Take_All
+           (This : in out World)
+        return State_Array;
+
     procedure Force
            (This  : in out World;
             Count : in     Positive);
@@ -268,6 +272,28 @@ package Kompsos is
         return Boolean;
 
 
+    --  Reification  --
+
+    function Resolve
+           (This  : in Term;
+            Subst : in State)
+        return Term;
+
+    function Resolve_First
+           (Subst : in State)
+        return Term;
+
+    function Resolve_First
+           (Subst : in State;
+            Name  : in String)
+        return Term;
+
+    function Resolve_First
+           (Subst : in State;
+            Name  : in Nametag)
+        return Term;
+
+
 
 
     --------------------------
@@ -474,6 +500,10 @@ private
         Actual : Term_Holders.Holder;
     end record;
 
+    function T
+           (Item : in Variable)
+        return Term'Class;
+
     function Var
            (This : in Term'Class)
         return Variable