ring2.net 1.16 KB
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
#place C0 mk(<..>)
#place E0
#place A0 mk(<..>)
#place B0
#place D0
#place F0
#place G0
#place H0
#place C1 mk(<..>)
#place E1
#place A1 mk(<..>)
#place B1
#place D1
#place F1
#place G1
#place H1
#trans Free0
in {A0:<..>;C1:<..>;}
out {B0:<..>;E1:<..>;}
#endtr
#trans Used0
in {H0:<..>;C1:<..>;}
out {B0:<..>;D1:<..>;}
#endtr
#trans Get0
in {F0:<..>;B0:<..>;}
out {C0:<..>;A0:<..>;}
#endtr
#trans Put0
in {B0:<..>;G0:<..>;}
out {C0:<..>;H0:<..>;}
#endtr
#trans Other0
in {D0:<..>;}
out {G0:<..>;}
#endtr
#trans Owner0
in {D0:<..>;}
out {E0:<..>;}
#endtr
#trans GoOn0
in {E0:<..>;}
out {F0:<..>;}
#endtr
#trans Write0
in {E0:<..>;}
out {G0:<..>;}
#endtr
#trans Free1
in {A1:<..>;C0:<..>;}
out {B1:<..>;E0:<..>;}
#endtr
#trans Used1
in {H1:<..>;C0:<..>;}
out {B1:<..>;D0:<..>;}
#endtr
#trans Get1
in {F1:<..>;B1:<..>;}
out {C1:<..>;A1:<..>;}
#endtr
#trans Put1
in {B1:<..>;G1:<..>;}
out {C1:<..>;H1:<..>;}
#endtr
#trans Other1
in {D1:<..>;}
out {G1:<..>;}
#endtr
#trans Owner1
in {D1:<..>;}
out {E1:<..>;}
#endtr
#trans GoOn1
in {E1:<..>;}
out {F1:<..>;}
#endtr
#trans Write1
in {E1:<..>;}
out {G1:<..>;}
#endtr