Constraint CARBUFFERBLOCKH_OF_ELEVATOR_VALUES

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

Slots on this constraint:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(And (>= (Car_Buffer_Blocking_Height ?X) 6)
      (=< (Car_Buffer_Blocking_Height ?X) 10000))

Other Related Axioms:

(<= (Has-Constraint $X Carbufferblockh_Of_Elevator_Values)
    (Elevator $X))

(Inherited-Slot-Value Elevator
                      Has-Constraint
                      Carbufferblockh_Of_Elevator_Values)

(Used-In-Constraint Car_Buffer_Blocking_Height
                    Carbufferblockh_Of_Elevator_Values)