Constraint DOOR_SPEED_C01

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

Slots on this instance:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

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

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