Constraint C-22

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

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

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

Notes:

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