aboutsummaryrefslogtreecommitdiff
path: root/sucl/history.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'sucl/history.dcl')
-rw-r--r--sucl/history.dcl60
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