blob: 893c5880675512f7e2554e6cbba76935da7fcbe0 (
plain)
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
|
#!/usr/bin/env python3
def procedures(Model):
prods = []
vis_find_arg1_header = Model.productionstring(
name = "vis_find_arg1_header",
string="""
=g>
isa math_goal
op vis_find_arg1
arg1 =var
==>
=g>
isa math_goal
op find_arg1_header
+visual_location>
isa _visuallocation
value =var
"""
)
# vis_find_arg1_header_done = Model.productionstring(
# name = "vis_find_arg1_header_done",
# string="""
# =g>
# isa math_goal
# op find_arg1_header
# arg1 =var
# arg1_idx =idx
# =visual>
# isa _visual
# screen_y =vis_y
# ==>
# =g>
# isa math_goal
# op search_arg1_idx
# +visual>
# isa _visual
# cmd move_attention
# screen_x current
# screen_y nearest
# """
# )
return prods
|