diff options
| author | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-04-16 11:40:09 +0200 |
|---|---|---|
| committer | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-04-16 11:40:09 +0200 |
| commit | ee5e4fbb8c211beb8e643116ee62b2592c6b3150 (patch) | |
| tree | 0b5e4e9936f575b1f0f73ce599af7d10fc5a0c6a /modeling/prod_addition.py | |
| parent | 9f5afe40e26ec2995bf19b86efb73a212abab12e (diff) | |
start prod mul
Diffstat (limited to 'modeling/prod_addition.py')
| -rw-r--r-- | modeling/prod_addition.py | 44 |
1 files changed, 33 insertions, 11 deletions
diff --git a/modeling/prod_addition.py b/modeling/prod_addition.py index 7ba7c22..3c7e888 100644 --- a/modeling/prod_addition.py +++ b/modeling/prod_addition.py @@ -116,6 +116,7 @@ def addition(Model): isa math_op carry_ones None tens_ans busy + ~retrieval> +retrieval> isa math_op arg1 =num1 @@ -310,16 +311,37 @@ def addition(Model): ) prods.append(add_hundreds_carry) - # addition_done = Model.productionstring( - # name="addition_done", - # string=""" - # =g> - # isa math_goal - # task done - # ==> - # ?g> - # """ - # ) - # prods.append(addition_done) + addition_done = Model.productionstring( + name="addition_done", + string=""" + =g> + isa math_goal + task done + =imaginal> + isa math_op + op add + arg1 =arg1 + ones1 =ones1 + tens1 =tens1 + hundreds1 =huns1 + arg2 =arg2 + ones2 =ones2 + tens2 =tens2 + hundreds2 =huns2 + ==> + +retrieval> + isa math_op + op add + arg1 =arg1 + ones1 =ones1 + tens1 =tens1 + hundreds1 =huns1 + arg2 =arg2 + ones2 =ones2 + tens2 =tens2 + hundreds2 =huns2 + """ + ) + prods.append(addition_done) return prods |