Class DOOR_MODEL

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Vt-component

Has-Constraint: Door_opening_strike_side_c, Door_speed_code_c04

Inherited-Slot-Value: Door_opening_strike_side_c, Door_speed_code_c04

Has-Parameter-Slot:

Car_saf_t_edge_weight, Door_opening_strike_side, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight, Door_operator_header_weight, Door_space, Door_speed_code

Inherited-Slot-Value:

Car_saf_t_edge_weight, Door_opening_strike_side, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight, Door_operator_header_weight, Door_space, Door_speed_code

Range-Of: Elevator.door

Superclass-Of:

Door_model_code_m01, Door_model_code_m02, Door_model_code_m03, Door_model_code_m04, Door_model_code_m05, Door_model_code_m06

---

Slots on instances of this class:

Car_Saf_T_Edge_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Door_Opening_Strike_Side:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Opening_Type_S:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Operator_Constant:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Operator_Engine_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Door_Operator_Header_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Space:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Speed_Code:

Slot-Cardinality: 1

Slot-Value-Type: String

Has-Constraint: Door_opening_strike_side_c, Door_speed_code_c04

Has-Parameter-Slot:

Car_saf_t_edge_weight, Door_opening_strike_side, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight, Door_operator_header_weight, Door_space, Door_speed_code

Model-Id:

Slot-Cardinality: 1

Other Related Axioms:

(<= (Has-Constraint $X Door_Speed_Code_C04) (Door_Model $X))

(<= (Has-Constraint $X Door_Opening_Strike_Side_C) (Door_Model $X))

(<= (Has-Parameter-Slot $X Door_Speed_Code) (Door_Model $X))

(<= (Has-Parameter-Slot $X Door_Space) (Door_Model $X))

(<= (Has-Parameter-Slot $X Door_Operator_Header_Weight)
    (Door_Model $X))

(<= (Has-Parameter-Slot $X Door_Operator_Engine_Weight)
    (Door_Model $X))

(<= (Has-Parameter-Slot $X Door_Operator_Constant) (Door_Model $X))

(<= (Has-Parameter-Slot $X Door_Opening_Type_S) (Door_Model $X))

(<= (Has-Parameter-Slot $X Door_Opening_Strike_Side) (Door_Model $X))

(<= (Has-Parameter-Slot $X Car_Saf_T_Edge_Weight) (Door_Model $X))

(Inherited-Facet-Value Slot-Value-Type
                       Elevator
                       Elevator.Door
                       Door_Model)

(=> (Elevator.Door $X $Y) (Door_Model $Y))

Notes:

• Formerly-Named: door
• Source: The Yost document, under " DOOR_MODEL "