Constraint MACHINE_ANGLE_OF_CONTACT_C

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

Slots on this constraint:

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

Other Related Axioms:

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

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

(Used-In-Constraint Machine_Angle_Of_Contact
                    Machine_Angle_Of_Contact_C)

(Used-In-Constraint Deflector_Sheave_Diameter
                    Machine_Angle_Of_Contact_C)

(Used-In-Constraint Machine_Sheave_To_Deflector_Sheave_Diagonal
                    Machine_Angle_Of_Contact_C)

(Used-In-Constraint Machine_Sheave_To_Deflector_Sheave
                    Machine_Angle_Of_Contact_C)

(Used-In-Constraint Machine_Sheave_Diameter
                    Machine_Angle_Of_Contact_C)

Notes:

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

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