diff options
Diffstat (limited to 'sucl/history.dcl')
-rw-r--r-- | sucl/history.dcl | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/sucl/history.dcl b/sucl/history.dcl deleted file mode 100644 index 3daf399..0000000 --- a/sucl/history.dcl +++ /dev/null @@ -1,60 +0,0 @@ -definition module history - -// $Id$ - -from rule import Rgraph -from graph import Graph -from general import Optional -from StdOverloaded import == -from StdString import toString -from StdClass import Eq -from cleanversion import String - -// A history relates node-ids in the subject graph to patterns -:: History sym var - :== [HistoryAssociation sym var] - -// An association between a node-id in the subject graph and a history pattern -:: HistoryAssociation sym var - :== ( var // Attachment point in the subject graph where the history pattern is "housed" - , [HistoryPattern sym var] // The pattern in the history - ) - -// A pattern in the history, specifying the most general subject graph (footprint) for a reduction sequence -:: HistoryPattern sym var - :== Rgraph sym var - -// A link in a graph, indicated by its source node-id and the argument number -// The root of a graph can be indicated by the No constructor -:: Link var - :== Optional (var,Int) - -// Check the current subject graph in the history -matchhistory - :: (History sym var) // Complete history against which to check - [var] // Node-ids for which to include history patterns - (Graph sym var) // Current subject graph - var // Current application point of strategy - -> [HistoryPattern sym var] // Matching history patterns - | Eq sym - & Eq var - -// Convert a history to its string representation -historyToString :: - (History sym var) - -> String - | toString sym - & toString var - & Eq var - -(writeHistory) infixl :: *File (History sym var) -> .File | toString sym & toString,== var -(writeHistoryAssociation) infixl :: *File (HistoryAssociation sym var) -> .File | toString sym & toString,== var - -printhistory :: - (sym->String) - (var->String) - String - (History sym var) - *File - -> .File - | == var |