Constraint CAR_CST5

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

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(= (Car_Overtravel ?X)
    (- (Hoistway_Top_Landing_To_Underside_Machine_Beam ?X)
       (+ (Sling_Underbeam ?X)
          (Crosshead_Height (Elevator.Crosshead ?X)))))