Constraint COUNTERWEIGHT_STACK_HEIGHT_C


Slots on this constraint:

Instance-Of: Constraint
Constraint-On: Elevator
Constraint.Expression:
'(= (Counterweight_Stack_Height (Elevator.Counterweightbg ?X))
    (* (Counterweight_Plate_Quantity (Elevator.Counterweightbg ?X))
       1))


Other Related Axioms:

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

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

(Used-In-Constraint Counterweight_Plate_Quantity
                    Counterweight_Stack_Height_C)

(Used-In-Constraint Counterweight_Stack_Height
                    Counterweight_Stack_Height_C)


Notes: