diff options
| author | Niclas Dobbertin <niclas.dobbertin@mailbox.org> | 2024-09-01 17:29:19 +0200 |
|---|---|---|
| committer | Niclas Dobbertin <niclas.dobbertin@mailbox.org> | 2024-09-01 17:29:19 +0200 |
| commit | 7c1d45b574de33dafcd93b251fc089acff313292 (patch) | |
| tree | 9817f1faab381cd71c3c7ad26086851577ae6fde /modeling/prod_subtraction.py | |
| parent | 60df194c8b72c9d47d1bc490b4c4c296ac234e8e (diff) | |
fix retrieval checks
Diffstat (limited to 'modeling/prod_subtraction.py')
| -rw-r--r-- | modeling/prod_subtraction.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/modeling/prod_subtraction.py b/modeling/prod_subtraction.py index 91137bb..1d1f73e 100644 --- a/modeling/prod_subtraction.py +++ b/modeling/prod_subtraction.py @@ -14,6 +14,7 @@ def subtraction(Model): arg2 =arg2 ?retrieval> state free + buffer empty ==> =g> isa math_goal @@ -191,6 +192,7 @@ def subtraction(Model): tens2 =num2 ones_carry 1 ?retrieval> + buffer empty state free ==> =g> @@ -264,6 +266,7 @@ def subtraction(Model): tens2 =num2 ones_carry 0 ?retrieval> + buffer empty state free ==> =g> @@ -387,6 +390,7 @@ def subtraction(Model): hundreds2 =num2 tens_carry 1 ?retrieval> + buffer empty state free ==> =g> @@ -460,6 +464,7 @@ def subtraction(Model): hundreds2 =num2 tens_carry 0 ?retrieval> + buffer empty state free ==> =g> |