Class CAR_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:

Car_buffer_footing_channel_height, Car_buffer_height, Car_buffer_load_maximum, Car_buffer_load_minimum, Car_buffer_stroke

Inherited-Slot-Value:

Car_buffer_footing_channel_height, Car_buffer_height, Car_buffer_load_maximum, Car_buffer_load_minimum, Car_buffer_stroke

Range-Of: Elevator.carbuffer

Superclass-Of: Car_buffer_model_oh1, Car_buffer_model_om14

---

Slots on instances of this class:

Car_Buffer_Footing_Channel_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Load_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Buffer_Load_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Buffer_Stroke:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Has-Parameter-Slot:

Car_buffer_footing_channel_height, Car_buffer_height, Car_buffer_load_maximum, Car_buffer_load_minimum, Car_buffer_stroke

Model-Id:

Slot-Cardinality: 1

Other Related Axioms:

(<= (Has-Parameter-Slot $X Car_Buffer_Stroke) (Car_Buffer_Model $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Load_Minimum)
    (Car_Buffer_Model $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Load_Maximum)
    (Car_Buffer_Model $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Height) (Car_Buffer_Model $X))

(<= (Has-Parameter-Slot $X Car_Buffer_Footing_Channel_Height)
    (Car_Buffer_Model $X))

(Inherited-Facet-Value Slot-Value-Type
                       Elevator
                       Elevator.Carbuffer
                       Car_Buffer_Model)

(=> (Elevator.Carbuffer $X $Y) (Car_Buffer_Model $Y))

Notes:

• Formerly-Named: carbuffer
• Source: The Yost document, under " CAR_BUFFER_MODEL "