equal
deleted
inserted
replaced
10 *) |
10 *) |
11 |
11 |
12 MemoryParameters = Datatype + RPCMemoryParams + |
12 MemoryParameters = Datatype + RPCMemoryParams + |
13 |
13 |
14 (* the memory operations *) |
14 (* the memory operations *) |
15 (*** |
|
16 datatype Rd = read |
|
17 datatype Wr = write |
|
18 ***) |
|
19 |
|
20 datatype memOp = read Locs | write Locs Vals |
15 datatype memOp = read Locs | write Locs Vals |
21 |
|
22 (*** |
|
23 types |
|
24 (* legal arguments for the memory *) |
|
25 memArgType = "(Rd * Locs) + (Wr * Locs * Vals)" |
|
26 ***) |
|
27 |
16 |
28 consts |
17 consts |
29 (* memory locations and contents *) |
18 (* memory locations and contents *) |
30 MemLoc :: Locs set |
19 MemLoc :: Locs set |
31 MemVal :: Vals set |
20 MemVal :: Vals set |