Constraint CAR_MISC_WEIGHT_C

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

Slots on this constraint:

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))))))))))

Other Related Axioms:

(<= (Has-Constraint $X Car_Misc_Weight_C) (Elevator $X))

(Inherited-Slot-Value Elevator Has-Constraint Car_Misc_Weight_C)

(Used-In-Constraint Car_Cable_Hanger_Weight Car_Misc_Weight_C)

(Used-In-Constraint Car_Duct_And_Wiring_Weight Car_Misc_Weight_C)

(Used-In-Constraint Car_Guideshoe_Weight Car_Misc_Weight_C)

(Used-In-Constraint Door_Operator_Weight Car_Misc_Weight_C)

(Used-In-Constraint Car_Landing_Switch_Weight Car_Misc_Weight_C)

(Used-In-Constraint Car_Maintenance_Station_Weight Car_Misc_Weight_C)

(Used-In-Constraint Car_Misc_Weight Car_Misc_Weight_C)

(Used-In-Constraint Car_Saf_T_Edge_Weight Car_Misc_Weight_C)

(Used-In-Constraint Car_Limit_Switch_Cam_Weight Car_Misc_Weight_C)

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