Constraint C-22

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

Slots on this constraint:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(> (Counterweight_Stack_Height (Elevator.Counterweightbg ?X))
    (- (Counterweight_Frame_Height ?X)
       (Counterweight_Frame_Thickness ?X)))

Other Related Axioms:

(<= (Has-Constraint $X C-22) (Elevator $X))

(Inherited-Slot-Value Elevator Has-Constraint C-22)

(Used-In-Constraint Counterweight_Frame_Height C-22)

(Used-In-Constraint Counterweight_Frame_Thickness C-22)

(Used-In-Constraint Counterweight_Stack_Height C-22)

Notes:

• Formerly-Named: stackheight_restriction
• Source: The Yost document, under " C-22 "