-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathschema.json
26 lines (26 loc) · 1.57 KB
/
schema.json
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
{
"schema":"octoe",
"initial":[0,1,1,1,1,1,1,1,1,1,1,0,0,1],
"capacity":[1,1,1,1,1,1,1,1,1,1,1,1,1,1],
"transitions":{
"EXEC":{"delta":[0,0,0,0,0,0,0,0,0,0,-1,1,0,0],"role":"FATD","guards":{"DISABLED":{"delta":[0,0,0,0,0,0,0,0,0,0,0,0,0,-1]}}},
"O00":{"delta":[0,-1,0,0,0,0,0,0,0,0,0,1,-1,0],"role":"PlayerO"},
"O01":{"delta":[0,0,-1,0,0,0,0,0,0,0,0,1,-1,0],"role":"PlayerO"},
"O02":{"delta":[0,0,0,-1,0,0,0,0,0,0,0,1,-1,0],"role":"PlayerO"},
"O10":{"delta":[0,0,0,0,-1,0,0,0,0,0,0,1,-1,0],"role":"PlayerO"},
"O11":{"delta":[0,0,0,0,0,-1,0,0,0,0,0,1,-1,0],"role":"PlayerO"},
"O12":{"delta":[0,0,0,0,0,0,-1,0,0,0,0,1,-1,0],"role":"PlayerO"},
"O20":{"delta":[0,0,0,0,0,0,0,-1,0,0,0,1,-1,0],"role":"PlayerO"},
"O21":{"delta":[0,0,0,0,0,0,0,0,-1,0,0,1,-1,0],"role":"PlayerO"},
"O22":{"delta":[0,0,0,0,0,0,0,0,0,-1,0,1,-1,0],"role":"PlayerO"},
"OFF":{"delta":[-1,0,0,0,0,0,0,0,0,0,0,0,0,1],"role":"FATD"},
"ON":{"delta":[1,0,0,0,0,0,0,0,0,0,0,0,0,-1],"role":"FATD"},
"X00":{"delta":[0,-1,0,0,0,0,0,0,0,0,0,-1,1,0],"role":"PlayerX"},
"X01":{"delta":[0,0,-1,0,0,0,0,0,0,0,0,-1,1,0],"role":"PlayerX"},
"X02":{"delta":[0,0,0,-1,0,0,0,0,0,0,0,-1,1,0],"role":"PlayerX"},
"X10":{"delta":[0,0,0,0,-1,0,0,0,0,0,0,-1,1,0],"role":"PlayerX"},
"X11":{"delta":[0,0,0,0,0,-1,0,0,0,0,0,-1,1,0],"role":"PlayerX"},
"X12":{"delta":[0,0,0,0,0,0,-1,0,0,0,0,-1,0,0],"role":"PlayerX"},
"X20":{"delta":[0,0,0,0,0,0,0,-1,0,0,0,-1,1,0],"role":"PlayerX"},
"X21":{"delta":[0,0,0,0,0,0,0,0,-1,0,0,-1,1,0],"role":"PlayerX"},
"X22":{"delta":[0,0,0,0,0,0,0,0,0,-1,0,-1,1,0],"role":"PlayerX"}}}