Constraint CAR_RETURN_LEFT_C02

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

Slots on this instance:

Instance-Of: Constraint

Constraint.Expression:

'(=> (And (= (Door_Opening_Type ?X) side)
          (= (Door_Opening_Strike_Side_Spec ?X) left))
     (= (Car_Return_Left ?X) 3))

Notes:

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

• 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.