newfold.dcl 600 Bytes
Newer Older
1
definition module newfold
2
3
4
5
6
7
8
9

// $Id$

from trace import Trace,Transformation
from spine import Answer,Spine,Subspine
from history import History,HistoryAssociation,HistoryPattern
from rule import Rgraph,Rule
from general import Optional
10
from StdOverloaded import ==
11

12
13
14
:: FunBody sym var
   :== [Rule sym var]

15
16
17
18
19
20
21
22
23
24
25
:: Etracer sym var pvar :==
       (Trace sym var pvar)
       (Rgraph sym var)
       Bool
    -> Bool

fullfold ::
    (Etracer sym var pvar)
    ((Rgraph sym var)->(sym,[var]))
    sym
    (Trace sym var pvar)
26
 -> ([Bool],FunBody sym var,[Rgraph sym var])
27
28
29
 |  == sym
 &  == var
 &  == pvar