Constraint MOTOR_HORSEPOWER_C

• Defined in theory: Vt-domain
• Source code: vt-domain.lisp

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(>= (Motor_Horsepower (Elevator.Motor ?X))
     (Motor_Horsepower_Required ?X))

Notes:

• Formerly-Named: c30
• Source: The Yost document, under "MOTOR_HORSEPOWER"