diff options
author | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-07-31 00:00:03 +0200 |
---|---|---|
committer | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-07-31 00:00:03 +0200 |
commit | d3a81759c311a9ccfc4d17d2cb9347b9367cb7d1 (patch) | |
tree | 90bec1acb3f48dc06fb1e2a198cd24f0e9c5a8af /modeling/model_init.py | |
parent | 3fba69ca12dc01157c66383d3bd77ee28828bc04 (diff) |
env progr
Diffstat (limited to 'modeling/model_init.py')
-rw-r--r-- | modeling/model_init.py | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/modeling/model_init.py b/modeling/model_init.py index a6ca3ac..7fb1c84 100644 --- a/modeling/model_init.py +++ b/modeling/model_init.py @@ -241,4 +241,21 @@ def init(): f"plus{i}{j}", "math_op", op="add", arg1=i, arg2=j, result=i + j ) ) + + Model.productionstring( + name="continue_with_next_op", + string=""" + =g> + isa math_goal + op done + nextop ~None + nextop =nextop + ==> + =g> + isa math_goal + op =nextop + nextop None + """, + ) + return Model, DM, goal, imaginal, env |