Class COUNTERWEIGHT_BUFFER_MODEL

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Vt-component

Has-Parameter-Slot:

Counterweight_buffer_height, Counterweight_buffer_load_maximum, Counterweight_buffer_load_minimum, Counterweight_buffer_stroke

Inherited-Slot-Value:

Counterweight_buffer_height, Counterweight_buffer_load_maximum, Counterweight_buffer_load_minimum, Counterweight_buffer_stroke

Range-Of: Elevator.counterwtbuffer

Superclass-Of: Counterweight_buffer_model_m01, Counterweight_buffer_model_m02

---

Slots on instances of this class:

Counterweight_Buffer_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Buffer_Load_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Buffer_Load_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Buffer_Stroke:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Has-Parameter-Slot:

Counterweight_buffer_height, Counterweight_buffer_load_maximum, Counterweight_buffer_load_minimum, Counterweight_buffer_stroke

Model-Id:

Slot-Cardinality: 1

Other Related Axioms:

(<= (Has-Parameter-Slot $X Counterweight_Buffer_Stroke)
    (Counterweight_Buffer_Model $X))

(<= (Has-Parameter-Slot $X Counterweight_Buffer_Load_Minimum)
    (Counterweight_Buffer_Model $X))

(<= (Has-Parameter-Slot $X Counterweight_Buffer_Load_Maximum)
    (Counterweight_Buffer_Model $X))

(<= (Has-Parameter-Slot $X Counterweight_Buffer_Height)
    (Counterweight_Buffer_Model $X))

(Inherited-Facet-Value Slot-Value-Type
                       Elevator
                       Elevator.Counterwtbuffer
                       Counterweight_Buffer_Model)

(=> (Elevator.Counterwtbuffer $X $Y) (Counterweight_Buffer_Model $Y))

Notes:

• Formerly-Named: counterwtbuffer
• Source: The Yost document, under " COUNTERWEIGHT_BUFFER_MODEL "