Constraint MACHINE_TOTAL_WEIGHT_C


Slots on this instance:

Instance-Of: Constraint
Constraint-On: Elevator
Constraint.Expression:
'(= (Machine_Total_Weight ?X)
    (+ (Machine_Weight (Elevator.Machine ?X))
       (Motor_Weight (Elevator.Motor ?X))))


Notes: