Constraint DOOR_SPEED_C01

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

Slots on this constraint:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(= (Door_Speed_Code (Elevator.Door ?X))
    (Door_Speed_Code (Elevator.Door ?X)))

Other Related Axioms:

(Used-In-Constraint Door_Speed_Code Door_Speed_C01)

Notes:

• Formerly-Named: door.doorspeed_calc
• Source: The Yost document, under " DOOR_SPEED "

• Modification-By: Guus Schreiber: ;; BUG (well, not really): the next constraint is a tautology

• I removed it from the has-constraint list, so it is harmless. -trg