Constraint MACHINE_BEAM_LENGTH_C

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

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(= (Machine_Beam_Length ?X)
    (+ 6 (Machine_Beam_Support_Bottom_To_Machine_Room_Top_Spec ?X)))

Notes:

• Source: The Yost document, under "MACHINE_BEAM_LENGTH"

• Modification-By: Guus Schreiber:

  ;; BUG: missing constraint ;; ;; There is no constraint for computing the value of ;; machine_beam_length ;; It should be 6 inches longer than ;; machine_beam_support_bottom_to_machine_room_top_spec ;; (Sec. 4.5).