Constraint CAR_CST5

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

Slots on this constraint:

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

Other Related Axioms:

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

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

(Used-In-Constraint Car_Overtravel Car_Cst5)

(Used-In-Constraint Crosshead_Height Car_Cst5)

(Used-In-Constraint Sling_Underbeam Car_Cst5)

(Used-In-Constraint Hoistway_Top_Landing_To_Underside_Machine_Beam
                    Car_Cst5)