From 228a2ee1750b31e7045d4686473adc49ce6c4205 Mon Sep 17 00:00:00 2001 From: "Dobbertin, Niclas" Date: Wed, 22 May 2024 22:15:36 +0200 Subject: update --- modeling/prod_motor.py | 84 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 84 insertions(+) create mode 100644 modeling/prod_motor.py (limited to 'modeling/prod_motor.py') 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 -- cgit v1.2.3