-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathrngPAR.ma
152 lines (139 loc) · 15.4 KB
/
rngPAR.ma
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
%/*******************************************************************
%*
%* DESCRIPTION: building RNG model using the new CD++,
%*
%* AUTHOR: Abdulelah Alsanad
%*
%* EMAIL: aalsa079@site.uottawa.ca
%*
%* DATE: 09/11/2005
%*
%*******************************************************************/
#include(rng_macros)
[top]
components : rng
[rng]
type : cell
width : 8
height : 8
delay : transport
defaultDelayTime : 100
border : wrapped
neighbors : rng(-1,0)
neighbors : rng(0,-1) rng(0,0) rng(0,1)
neighbors : rng(1,0)
initialvalue : 0
initialrowvalue : 0 00010000
initialrowvalue : 1 11010101
initialrowvalue : 2 00001010
initialrowvalue : 3 11010100
initialrowvalue : 4 01010111
initialrowvalue : 5 10101001
initialrowvalue : 6 11111111
initialrowvalue : 7 10100011
localtransition : rng-rule
statevariables: value
statevalues: 0
initialvariablesvalue: rng.sval
[rng-rule]
% Rule 15
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1) and (if(randInt(3) = 2,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0) and (if(randInt(3) = 2,1,0) = 1)}
% Rule 63
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 1,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 1,1,0) = 1)}
%Rule 31
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 1) and (if(randInt(3) = 0,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 0) and (if(randInt(3) = 0,1,0) = 1)}
%Rule 47
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0) and (if(randInt(3) = 3,1,0) = 1)}
rule : { $value } { $value := 0; } 11 { t }