Constraint CAR_MISC_WEIGHT_C

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

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(= (Car_Misc_Weight ?X)
    (+ (Door_Operator_Weight ?X)
       (+ (* 4 (Car_Guideshoe_Weight (Elevator.Car ?X)))
          (+ (Car_Saf_T_Edge_Weight (Elevator.Door ?X))
             (+ (Car_Limit_Switch_Cam_Weight (Elevator.Car ?X))
                (+ (Car_Cable_Hanger_Weight (Elevator.Car ?X))
                   (+ (Car_Duct_And_Wiring_Weight (Elevator.Car ?X))
                      (+ (Car_Landing_Switch_Weight (Elevator.Car ?X))
                         (Car_Maintenance_Station_Weight 
                             (Elevator.Car ?X))))))))))

Notes:

• Formerly-Named: car_cst3
• Source: The Yost document, under "CAR_MISC_WEIGHT"

• Modification-By: Guus Schreiber: ;; BUG: error in formula (sec. 5.6) ;; scope of multiplication was wrong