diff options
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 |