Constraint COUNTERWEIGHT_FRAME_WEIGHT_CALC

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

Slots on this constraint:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(= (Counterweight_Frame_Weight ?X)
    (+ (* 6.2 (- (Counterweight_Between_Guiderails_Value ?X) 1.75))
       (+ (* 2 (Counterweight_Frame_Height ?X)) 70)))

Notes:

• Formerly-Named: cwtframeweight_calc
• Source: The Yost document, under " COUNTERWEIGHT_FRAME_WEIGHT "

• Modification-By: Guus Schreiber:

  ;NOTE: It was wrong anyway, it should have read: ; ;(DEFOBJECT CWTFRAMEWEIGHT_CALC (CONSTRAINT CWTFRAMEWEIGHT_CALC) ; (CONSTRAINT.EXPRESSION CWTFRAMEWEIGHT_CALC ; '(= (CWTFRAMEWEIGHT ?X) ; (+ (* 6.2 (- (CWT_BG ?X) 1.75)) ; (+ (* 2 (COUNTERWTFRAMEH ?X)) ; 70)))))