Constraint MACHINE_ANGLE_OF_CONTACT_C

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

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(= (Machine_Angle_Of_Contact ?X)
    (+ 90
       (+ (Invsin (/ (Machine_Sheave_To_Deflector_Sheave ?X)
                     (Machine_Sheave_To_Deflector_Sheave_Diagonal ?X)))
          (Invsin (/ (- (/ (Machine_Sheave_Diameter 
                               (Elevator.Machine ?X))
                           2)
                        (/ (Deflector_Sheave_Diameter ?X) 2))
                     (Machine_Sheave_To_Deflector_Sheave_Diagonal ?X))))))

Notes:

• Formerly-Named: c131
• Source: The Yost document, under "MACHINE_ANGLE_OF_CONTACT"

• Modification-By: Guus Schreiber: ;; BUG: errors in formula (Sec. 5.12)