diff options
| author | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-05-22 22:15:36 +0200 |
|---|---|---|
| committer | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-05-22 22:15:36 +0200 |
| commit | 228a2ee1750b31e7045d4686473adc49ce6c4205 (patch) | |
| tree | dcf4c2fef996510825142ce7a76d6fd62aca16fe /modeling/prod_motor.py | |
| parent | 27124f640cd8a8df934cc736216c7bda6a2e9f8c (diff) | |
update
Diffstat (limited to 'modeling/prod_motor.py')
| -rw-r--r-- | modeling/prod_motor.py | 84 |
1 files changed, 84 insertions, 0 deletions
diff --git a/modeling/prod_motor.py b/modeling/prod_motor.py new file mode 100644 index 0000000..4ea03cf --- /dev/null +++ b/modeling/prod_motor.py @@ -0,0 +1,84 @@ +#!/usr/bin/env python3 + +def procedures(Model): + prods = [] + + motor_press_result = Model.productionstring( + name = "motor_press_result", + string=""" + =g> + isa math_goal + op type_ans + result2 ~None + result2 =result + ==> + =g> + isa math_goal + op press_tens + arg1 =result + ones1 None + tens1 None + """ + ) + + motor_press_tens = Model.productionstring( + name = "motor_press_tens", + string=""" + =g> + isa math_goal + op press_tens + tens1 ~None + tens1 =key + ?manual> + state free + ==> + =g> + isa math_goal + op press_ones + +manual> + isa _manual + cmd press_key + key =key + """ + ) + + motor_press_ones = Model.productionstring( + name = "motor_press_ones", + string=""" + =g> + isa math_goal + op press_ones + ones1 ~None + ones1 =key + ?manual> + state free + ==> + =g> + isa math_goal + op press_continue + +manual> + isa _manual + cmd press_key + key =key + """ + ) + + motor_press_continue = Model.productionstring( + name = "motor_press_continue", + string=""" + =g> + isa math_goal + op press_continue + ?manual> + state free + ==> + =g> + isa math_goal + +manual> + isa _manual + cmd press_key + key 'space' + """ + ) + + return prods |