Constraint CAR_RETURN_LEFT_C01

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

Slots on this constraint:

Instance-Of: Constraint

Constraint.Expression:

'(=> (= (Door_Opening_Type ?X) center)
     (= (Car_Return_Left ?X)
        (/ (- (Platform_Width_F (Elevator.Platform ?X))
              (Opening_Width_Door ?X))
           2)))

Other Related Axioms:

(Used-In-Constraint Car_Return_Left Car_Return_Left_C01)

(Used-In-Constraint Door_Opening_Type Car_Return_Left_C01)

(Used-In-Constraint Opening_Width_Door Car_Return_Left_C01)

(Used-In-Constraint Platform_Width_F Car_Return_Left_C01)

Notes:

• Formerly-Named: carreturnleftbasedondoortype
• Source: The Yost document, under " CAR_RETURN_LEFT "

• Removed from the list of constraints on elevator. The mere presence of this definition does NOT imply that it must hold for any elevator.
• Modification-By: Guus Schreiber:

  ;; BUG: redundant constraints ;; ;; The constraints: ;; car_return_left_c01 ;; car_return_left_c02 ;; car_return_left_c03 ;; are really subsumed by car_return_left_c0[4-9] ;; ;; The redundancy is probably an historical artefact.