sucl/history.dcl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

definition module history

// $Id$

from spine import Spine
from rule import Rgraph
from graph import Graph

from spine import Subspine // for Spine

:: History sym var
   :== [(var,[Rgraph sym var])]

extendhistory
 :: (Graph sym var)
    (var -> var)
    (Spine sym var pvar)
    (History sym var)
 -> History sym var