diff options
| author | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-09-02 08:12:53 +0200 |
|---|---|---|
| committer | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-09-02 08:12:53 +0200 |
| commit | be9aa2cc897ce4ff8a42617f9707c179e0eeddbd (patch) | |
| tree | ced84404b1b0838081664fab0c5ce8a12c7432bd /modeling/prod_procedure.py | |
| parent | 7c1d45b574de33dafcd93b251fc089acff313292 (diff) | |
update
Diffstat (limited to 'modeling/prod_procedure.py')
| -rw-r--r-- | modeling/prod_procedure.py | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/modeling/prod_procedure.py b/modeling/prod_procedure.py index f9e2d7f..19e5b8a 100644 --- a/modeling/prod_procedure.py +++ b/modeling/prod_procedure.py @@ -39,11 +39,28 @@ def procedures(Model): +retrieval> isa procedure proc =proc - """, ) prods.append(proc_start) + proc_start_retry = Model.productionstring( + name="proc_start_retry", + string=""" + =g> + isa math_goal + op retrieve_task + ?retrieval> + state error + ?imaginal> + state free + ==> + =g> + isa math_goal + op None + ~retrieval> + """, + ) + proc_start_task1 = Model.productionstring( name="proc_start_task1", string=""" @@ -86,6 +103,7 @@ def procedures(Model): mul_counter None ones_carry None tens_carry None + ~retrieval> """, ) prods.append(proc_start_task1) @@ -189,15 +207,13 @@ def procedures(Model): isa math_goal arg2 =arg2 op check_if_number_arg2 - nextop =op =retrieval> isa number number =arg2 ==> =g> isa math_goal - op =op - nextop None + op expand ~retrieval> """ ) @@ -233,6 +249,7 @@ def procedures(Model): isa math_op ?retrieval> state free + buffer empty ==> =g> isa math_goal |