diff options
| author | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-08-07 07:52:12 +0200 |
|---|---|---|
| committer | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-08-07 07:52:12 +0200 |
| commit | 347d3c943462a73c35c9d246c4970833d96180bf (patch) | |
| tree | f3507e40a3a76b07b507fb294871ad777a3a27d6 /modeling/prod_procedure.py | |
| parent | d3a81759c311a9ccfc4d17d2cb9347b9367cb7d1 (diff) | |
full experiment, fixed and random
Diffstat (limited to 'modeling/prod_procedure.py')
| -rw-r--r-- | modeling/prod_procedure.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/modeling/prod_procedure.py b/modeling/prod_procedure.py index 20921c9..f9e2d7f 100644 --- a/modeling/prod_procedure.py +++ b/modeling/prod_procedure.py @@ -4,12 +4,28 @@ def procedures(Model): prods = [] + proc_find_next = Model.productionstring( + name="proc_find_next", + string=""" + =g> + isa math_goal + proc next_proc + op None + nextop None + ==> + =g> + isa math_goal + op find_next_proc + """ + ) + proc_start = Model.productionstring( name="proc_start", string=""" =g> isa math_goal proc =proc + proc ~next_proc op None nextop None ?retrieval> |