Constraint CAR_FIXTURE_WEIGHT_C


Slots on this instance:

Instance-Of: Constraint
Constraint-On: Elevator
Constraint.Expression:
'(= (Car_Fixture_Weight ?X)
    (+ (Car_Intercom_Weight (Elevator.Intercom ?X))
       (+ (Car_Phone_Weight (Elevator.Phone ?X))
          (+ (Car_Lantern_Weight (Elevator.Lantern ?X))
             (Car_Position_Indicator_Weight (Elevator.Positionind ?X))))))


Notes: