Class ELEVATOR

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

Slots on this class:

Subclass-Of: Vt-component

---

Slots on instances of this class:

Cable_Load_Car_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Car_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Counterweight_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Counterweight_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Total_Car_Side_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Cable_Load_Unbalanced:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Carslingub:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Blocking_Height:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Buffer_Compressed_Clearance:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Load:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Buffer_Striking_Speed_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Buffer_Striking_Speed_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cable_Hitch_To_Counterweight_Cable_Hitch:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cable_Hitch_To_Platform_Front:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cable_Hitch_To_Platform_Rear:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cab_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Cab_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Capacity:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Capacity_Range:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Fixture_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Guiderail_Vertical_Force:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Guiderail_Vertical_Force_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Intercom_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Car_Lantern_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Car_Misc_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Overtravel:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Phone_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Car_Position_Indicator_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Car_Return_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Return_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Car_Runby:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Speed:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Supplement_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Load_Car_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Load_Car_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Load_Counterweight_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Load_Counterweight_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Compensation_Cable_Unit_Weight_Optimal:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Control_Cable_Load_Average:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Control_Cable_Load_Car_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Control_Cable_Load_Car_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Control_Cable_Loop_Below_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Above_Top_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Between_Guiderails_Value:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Bottom_Reference:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Buffer_Blocking_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Buffer_Footing_Channel_Height: 1

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Buffer_Load:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Buffer_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Frame_A:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_B:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Height_S:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Thickness: 31

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Weight_S:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Overtravel:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Plate_Depth:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Plate_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Plate_Thickness: 1

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Plate_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Runby:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Space:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Stack_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Stack_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Stack_Weight_Desired:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_System_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_To_Hoistway_Rear:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_To_Platform_Rear:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_U_Bracket_Protrusion: 0.75

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Weight_Desired:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterwtplatformwt:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Crosshead_Bending_Moment:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Crosshead_Deflection_Index:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Deflector_Sheave_Diameter:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Deflector_Sheave_Protrusion:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Opening_Strike_Side:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Opening_Strike_Side_Spec:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Opening_Type:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Opening_Type_S:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Operator_Header_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Operator_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Space:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Door_Speed:

Slot-Cardinality: 1

Slot-Value-Type: String

Door_Speed_Code:

Slot-Cardinality: 1

Slot-Value-Type: String

Elevator.Car:

Slot-Cardinality: 1

Slot-Value-Type: Car

Elevator.Carbuffer:

Slot-Cardinality: 1

Slot-Value-Type: Car_buffer_model

Elevator.Carguiderail:

Slot-Cardinality: 1

Slot-Value-Type: Car_guiderail_model

Elevator.Compensationcable:

Slot-Cardinality: 1

Slot-Value-Type: Compensation_cable_model

Elevator.Controlcable:

Slot-Cardinality: 1

Slot-Value-Type: Control_cable_model

Elevator.Counterweightbg:

Slot-Cardinality: 1

Slot-Value-Type: Counterweight_between_guiderails_m

Elevator.Counterwtbuffer:

Slot-Cardinality: 1

Slot-Value-Type: Counterweight_buffer_model

Elevator.Counterwtguard:

Slot-Cardinality: 1

Slot-Value-Type: Counterweight_guard_required

Elevator.Counterwtguiderail:

Slot-Cardinality: 1

Slot-Value-Type: Counterweight_guiderail_model

Elevator.Crosshead:

Slot-Cardinality: 1

Slot-Value-Type: Crosshead_model

Elevator.Deflectorsheave:

Slot-Cardinality: 1

Slot-Value-Type: Deflector_sheave_model

Elevator.Door:

Slot-Cardinality: 1

Slot-Value-Type: Door_model

Elevator.Governor:

Slot-Cardinality: 1

Slot-Value-Type: Governor_model

Elevator.Governorcable:

Slot-Cardinality: 1

Slot-Value-Type: Governor_cable_model

Elevator.Hoistcable:

Slot-Cardinality: 1

Slot-Value-Type: Hoist_cable_model

Elevator.Intercom:

Slot-Cardinality: 1

Slot-Value-Type: Car_intercom

Elevator.Lantern:

Slot-Cardinality: 1

Slot-Value-Type: Car_lantern

Elevator.Machine:

Slot-Cardinality: 1

Slot-Value-Type: Machine_model

Elevator.Mbeam:

Slot-Cardinality: 1

Slot-Value-Type: Machine_beam_model

Elevator.Motgenerator:

Slot-Cardinality: 1

Slot-Value-Type: Motor_generator_model

Elevator.Motor:

Slot-Cardinality: 1

Slot-Value-Type: Motor

Elevator.Msheavegroove:

Slot-Cardinality: 1

Slot-Value-Type: Machine_groove_model

Elevator.Phone:

Slot-Cardinality: 1

Slot-Value-Type: Car_phone

Elevator.Platform:

Slot-Cardinality: 1

Slot-Value-Type: Platform_model

Elevator.Positionind:

Slot-Cardinality: 1

Slot-Value-Type: Car_position_indicator

Elevator.Safety:

Slot-Cardinality: 1

Slot-Value-Type: Safety_beam_model

Elevator.Sling:

Slot-Cardinality: 1

Slot-Value-Type: Sling_model

Governor_Cable_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Has-Constraint:

C-11, C-13, C-14, C-15, C-16, C-17, C-18, C-19, C-2, C-20, C-21, C-22, C-23, C-24_1, C-24_2, C-25, C-26, C-27, C-28_1, C-28_2, C-28_3, C-29_1, C-29_2, C-30_1, C-30_2, C-31, C-32, C-33_1, C-33_2, C-34_1, C-34_2, C-34_3, C-34_4, C-35, C-36_1, C-36_2, C-36_3, C-37, C-38, C-44, C-45, C-46_1, C-46_2, C-46_3, C-46_4, C-47, C-48_1, C-48_2, C-49, C-4_1, C-4_2, C-50, C-5_1, C-5_2, C-5_3, C-6, C-8, C-9, Cable_load_total_car_side_car_bottom, Cable_load_total_car_side_car_top, Cable_load_total_car_side_maximum_c01, Cable_load_total_car_side_maximum_c02, Cable_load_total_counterweight_side_car_c1, Cable_load_total_counterweight_side_car_c2, Cable_load_unbalanced_c, Carbufferblockh_of_elevator_values, Carbuffer_cst7, Car_buffer_blocking_height_c, Car_buffer_striking_speed_maximum_c, Car_buffer_striking_speed_minimum_c, Car_buffer_stroke_c, Car_cable_hitch_offset_c01, Car_cable_hitch_offset_c02, Car_cable_hitch_offset_c03, Car_cable_hitch_to_counterweight_cable_hitch_c, Car_cable_hitch_to_platform_rear_c, Car_cab_weight_c, Car_capacity_c, Car_capacity_range_c, Car_cst5, Car_fixture_weight_c, Car_guiderail_vertical_force_c, Car_guiderail_vertical_force_maximum_c02, Car_guiderail_vertical_force_maximum_c03, Car_guiderail_vertical_force_maximum_c04, Car_guiderail_vertical_force_maximum_c05, Car_guiderail_vertical_force_maximum_c06, Car_guiderail_vertical_force_maximum_c07, Car_guiderail_vertical_force_maximum_c08, Car_guiderail_vertical_force_maximum_c09, Car_guiderail_vertical_force_maximum_c10, Car_guiderail_vertical_force_maximum_c11, Car_intercom_c01, Car_intercom_c02, Car_intercom_c03, Car_lantern_c01, Car_lantern_c02, Car_lantern_c03, Car_misc_weight_c, Car_phone_c01, Car_phone_c02, Car_phone_c03, Car_position_indicator_c01, Car_position_indicator_c02, Car_position_indicator_c03, Car_return_left_c04, Car_return_left_c05, Car_return_left_c06, Car_return_left_c07, Car_return_left_c08, Car_return_left_c09, Car_return_right_c, Car_runby_c, Car_speed_c, Car_weight_c, Compensation_cable_length_c01, Compensation_cable_length_c02, Compensation_cable_load_car_top, Compensation_cable_load_counterweight_side_car_bottom_c, Compensation_cable_load_counterweight_side_car_top_c, Compensation_cable_load_side_car_bottom, Compensation_cable_model_c01, Compensation_cable_model_c02, Compensation_cable_model_c03, Compensation_cable_model_c04, Compensation_cable_model_c05, Compensation_cable_quantity_c01, Compensation_cable_unit_weight_optimal_c, Control_cable_load_average_c, Control_cable_load_car_side_car_bottom_c, Control_cable_load_car_side_car_top_c, Control_cable_loop_below_car_bottom_c, Control_cable_model_c01, Control_cable_model_c02, Control_cable_model_c03, Counterweight_above_top_car_bottom_c, Counterweight_between_guiderails_possible_values, Counterweight_bottom_reference_c, Counterweight_buffer_load_c, Counterweight_frame_weight, Counterweight_guard_required_c, Counterweight_guard_required_c2, Counterweight_guiderail_unit_weight_c, Counterweight_overtravel_c, Counterweight_plate_quantity_c02, Counterweight_plate_weight_c, Counterweight_runby_c, Counterweight_space_c, Counterweight_stack_height_c, Counterweight_stack_weight_c, Counterweight_stack_weight_desired_c, Counterweight_system_weight_c, Counterweight_to_hoistway_rear_c, Counterweight_to_platform_rear_c, Counterweight_weight_c, Counterweight_weight_desired_c, Crosshead_bending_moment_c, Crosshead_deflection_index_c, Crosshead_model_c01, Crosshead_model_c02, Crosshead_model_c03, Crosshead_model_c04, Crosshead_model_c05, Deflector_sheave_diameter_c, Deflector_sheave_diameter_minimum, Deflector_sheave_protrusion_c, Door_opening_strike_side_spec_c, Door_opening_type_c, Door_opening_type_c01, Door_opening_type_c02, Door_operator_header_weight_c, Door_operator_weight_c, Door_space_c01, Door_space_c02, Door_speed_c, Door_speed_code_c02, Door_speed_code_c03, Governor_cable_length_c, Hoistcable_quantity, Hoistway_bracket_spacing_c, Hoistway_top_landing_to_underside_machine_beam_c, Hoist_cable_above_counterweight_car_bottom_c, Hoist_cable_length_c, Hoist_cable_load_car_side_car_bottom_c, Hoist_cable_load_car_side_car_top_c, Hoist_cable_load_counterweight_side_car_bottom_c, Hoist_cable_load_counterweight_side_car_top_c, Hoist_cable_safety_factor_c01, Hoist_cable_safety_factor_c02, Hoist_cable_safety_factor_c03, Hoist_cable_safety_factor_c04, Hoist_cable_safety_factor_c05, Hoist_cable_traction_factor_c, Hoist_cable_traction_ratio_c01, Hoist_cable_traction_ratio_c02, Hoist_cable_traction_ratio_c03, Hoist_cable_traction_ratio_c04, Hoist_cable_traction_ratio_car_bottom_empty_c, Hoist_cable_traction_ratio_car_bottom_full_c, Hoist_cable_traction_ratio_car_top_empty_c, Hoist_cable_traction_ratio_car_top_full_c, Machine_angle_of_contact_c, Machine_beam_bending_moment_left_maximum_c01, Machine_beam_bending_moment_left_maximum_c02, Machine_beam_bending_moment_right_maximum_c01, Machine_beam_bending_moment_right_maximum_c02, Machine_beam_center_to_machine_sheave_center_c, Machine_beam_impact_load_left_c, Machine_beam_impact_load_right_c, Machine_beam_impact_load_total_c, Machine_beam_length_c, Machine_beam_load_front_left_c, Machine_beam_load_front_right_c, Machine_beam_load_rear_left_c, Machine_beam_load_rear_right_c, Machine_beam_reaction_front_left_c, Machine_beam_reaction_front_right_c, Machine_beam_reaction_rear_left_c, Machine_beam_reaction_rear_right_c, Machine_beam_section_modulus_left_minimum_c, Machine_beam_section_modulus_right_minimum_c, Machine_beam_support_bottom_to_machine_room_top_c, Machine_beam_support_to_machine_beam_center_c, Machine_beam_support_type_c, Machine_beam_support_underside_to_machine_room_floor, Machine_beam_total_load_left_c, Machine_beam_total_load_right_c, Machine_beam_weight_c, Machine_efficiency_c02, Machine_efficiency_c03, Machine_efficiency_c04, Machine_efficiency_c05, Machine_efficiency_c06, Machine_efficiency_c07, Machine_efficiency_c08, Machine_efficiency_c09, Machine_efficiency_c10, Machine_efficiency_c11, Machine_efficiency_c12, Machine_efficiency_c13, Machine_efficiency_c14, Machine_efficiency_c15, Machine_efficiency_c16, Machine_efficiency_c17, Machine_efficiency_c18, Machine_efficiency_c19, Machine_efficiency_c20, Machine_efficiency_c21, Machine_gear_ratio_symbolic_c01, Machine_gear_ratio_symbolic_c02, Machine_gear_ratio_symbolic_c03, Machine_gear_ratio_symbolic_c04, Machine_gear_ratio_symbolic_c05, Machine_gear_ratio_symbolic_c06, Machine_gear_ratio_symbolic_c07, Machine_gear_ratio_symbolic_c08, Machine_gear_ratio_symbolic_c09, Machine_gear_ratio_symbolic_c10, Machine_gear_ratio_symbolic_c11, Machine_gear_ratio_symbolic_c12, Machine_gear_ratio_symbolic_c13, Machine_gear_ratio_symbolic_c14, Machine_gear_ratio_symbolic_c15, Machine_gear_ratio_symbolic_c16, Machine_gear_ratio_symbolic_c17, Machine_gear_ratio_symbolic_c18, Machine_gear_ratio_symbolic_c19, Machine_gear_ratio_symbolic_c20, Machine_groove_pressure_acceptable_maximum_c, Machine_groove_pressure_c, Machine_groove_pressure_constant_c01, Machine_groove_pressure_constant_c02, Machine_groove_pressure_constant_c03, Machine_groove_pressure_constant_c04, Machine_groove_pressure_constant_c05, Machine_groove_pressure_constant_c06, Machine_groove_pressure_constant_c07, Machine_groove_pressure_constant_c08, Machine_groove_pressure_constant_c09, Machine_groove_pressure_constant_c10, Machine_sheave_center_to_front_machine_beam_support_c, Machine_sheave_height_c, Machine_sheave_to_deflector_sheave_c, Machine_sheave_to_deflector_sheave_diagonal_c, Machine_sheave_to_deflector_sheave_horizontal_c, Machine_suspended_load_c, Machine_total_weight_c, Motorscompatible_machine18, Motorscompatible_machine28, Motorscompatible_machine58, Motor_horsepower_c, Motor_horsepower_required_c01, Motor_horsepower_required_c02, Motor_horsepower_required_c03, Motor_torque_releveling_c, Noofhoistcables_of_elevator_values, Onebuffer_whenless38, Opening_to_hoistway_right_c, Opening_width_c, Peakmcur_calc_10hp_1, Peakmcur_calc_10hp_2, Peakmcur_calc_10hp_3, Peakmcur_calc_15hp_1, Peakmcur_calc_15hp_2, Peakmcur_calc_15hp_3, Peakmcur_calc_20hp_1, Peakmcur_calc_20hp_2, Peakmcur_calc_25hp_1, Peakmcur_calc_25hp_2, Peakmcur_calc_25hp_3, Peakmcur_calc_30hp_1, Peakmcur_calc_30hp_2, Peakmcur_calc_40hp_1, Peakmcur_calc_40hp_2, Platform_depth_c, Platform_model_c01, Platform_model_c02, Platform_model_c03, Platform_model_c04, Platform_to_hoistway_front_c, Platform_to_hoistway_left_c, Platform_to_hoistway_right_c, Platform_weight_c01, Platform_weight_c02, Platform_weight_c03, Platform_weight_factor_ap_c01, Platform_weight_factor_ap_c02, Platform_weight_factor_ap_c03, Platform_weight_factor_ap_c04, Platform_weight_factor_ap_c05, Platform_weight_factor_ap_c06, Platform_weight_factor_ap_c07, Platform_weight_factor_ap_c08, Platform_weight_factor_ap_c09, Platform_weight_factor_ap_c11, Platform_weight_factor_s_c01, Platform_weight_factor_s_c02, Platform_weight_factor_s_c03, Platform_weight_factor_x_c01, Platform_weight_factor_x_c02, Platform_weight_factor_x_c03, Platform_weight_factor_x_c04, Platform_weight_factor_x_c05, Platform_weight_factor_z_c01, Platform_weight_factor_z_c02, Platform_weight_factor_z_c03, Platform_width_c01, Safety_beam_bending_moment_c, Safety_beam_between_guiderails_c, Safety_beam_load_c, Safety_beam_model_c01, Safety_beam_model_c02, Safety_beam_model_c03, Safety_beam_weight_c, Sling_stile_length_c, Sling_underbeam_c, Sling_weight_c

Has-Parameter-Slot:

Cable_load_car_side_car_bottom, Cable_load_car_side_car_top, Cable_load_counterweight_side_car_bottom, Cable_load_counterweight_side_car_top, Cable_load_total_car_side_maximum, Cable_load_unbalanced, Carslingub, Car_buffer_blocking_height, Car_buffer_compressed_clearance, Car_buffer_load, Car_buffer_quantity, Car_buffer_striking_speed_maximum, Car_buffer_striking_speed_minimum, Car_cable_hitch_to_counterweight_cable_hitch, Car_cable_hitch_to_platform_front, Car_cable_hitch_to_platform_rear, Car_cab_height, Car_cab_weight, Car_capacity, Car_capacity_range, Car_fixture_weight, Car_guiderail_vertical_force, Car_guiderail_vertical_force_maximum, Car_intercom_spec, Car_lantern_spec, Car_misc_weight, Car_overtravel, Car_phone_spec, Car_position_indicator_spec, Car_return_left, Car_return_right, Car_runby, Car_speed, Car_supplement_weight, Car_weight, Compensation_cable_length, Compensation_cable_load_car_side_car_bottom, Compensation_cable_load_car_side_car_top, Compensation_cable_load_counterweight_side_car_bottom, Compensation_cable_load_counterweight_side_car_top, Compensation_cable_quantity, Compensation_cable_unit_weight_optimal, Control_cable_load_average, Control_cable_load_car_side_car_bottom, Control_cable_load_car_side_car_top, Control_cable_loop_below_car_bottom, Counterweight_above_top_car_bottom, Counterweight_between_guiderails_value, Counterweight_bottom_reference, Counterweight_buffer_blocking_height, Counterweight_buffer_footing_channel_height, Counterweight_buffer_load, Counterweight_buffer_quantity, Counterweight_frame_a, Counterweight_frame_b, Counterweight_frame_height, Counterweight_frame_height_s, Counterweight_frame_thickness, Counterweight_frame_weight, Counterweight_frame_weight_s, Counterweight_overtravel, Counterweight_plate_depth, Counterweight_plate_quantity, Counterweight_plate_thickness, Counterweight_plate_weight, Counterweight_runby, Counterweight_space, Counterweight_stack_height, Counterweight_stack_weight, Counterweight_stack_weight_desired, Counterweight_system_weight, Counterweight_to_hoistway_rear, Counterweight_to_platform_rear, Counterweight_u_bracket_protrusion, Counterweight_weight, Counterweight_weight_desired, Counterwtplatformwt, Crosshead_bending_moment, Crosshead_deflection_index, Deflector_sheave_diameter, Deflector_sheave_protrusion, Door_opening_strike_side, Door_opening_strike_side_spec, Door_opening_type, Door_opening_type_s, Door_operator_header_weight, Door_operator_weight, Door_space, Door_speed, Door_speed_code, Governor_cable_length, Hoistway_bracket_spacing, Hoistway_depth, Hoistway_floor_height, Hoistway_overhead, Hoistway_pit_depth, Hoistway_top_landing_to_underside_machine_beam, Hoistway_travel, Hoistway_width, Hoist_cable_above_counterweight_car_bottom, Hoist_cable_length, Hoist_cable_load_car_side_car_bottom, Hoist_cable_load_car_side_car_top, Hoist_cable_load_counterweight_side_car_bottom, Hoist_cable_load_counterweight_side_car_top, Hoist_cable_quantity, Hoist_cable_safety_factor, Hoist_cable_safety_factor_minimum, Hoist_cable_traction_factor, Hoist_cable_traction_ratio, Hoist_cable_traction_ratio_car_bottom_empty, Hoist_cable_traction_ratio_car_bottom_full, Hoist_cable_traction_ratio_car_top_empty, Hoist_cable_traction_ratio_car_top_full, Machine_acceleration_maximum, Machine_angle_of_contact, Machine_beam_bearing_plate_thickness, Machine_beam_bending_moment_left_maximum, Machine_beam_bending_moment_right_maximum, Machine_beam_center_to_machine_sheave_center, Machine_beam_impact_load_left, Machine_beam_impact_load_right, Machine_beam_impact_load_total, Machine_beam_length, Machine_beam_load_front_left, Machine_beam_load_front_right, Machine_beam_load_rear_left, Machine_beam_load_rear_right, Machine_beam_reaction_front_left, Machine_beam_reaction_front_right, Machine_beam_reaction_rear_left, Machine_beam_reaction_rear_right, Machine_beam_safety_factor, Machine_beam_section_modulus_left_minimum, Machine_beam_section_modulus_right_minimum, Machine_beam_support_bottom_to_machine_room_top, Machine_beam_support_bottom_to_machine_room_top_spec, Machine_beam_support_distance, Machine_beam_support_front_to_hoistway, Machine_beam_support_to_machine_beam_center, Machine_beam_support_type, Machine_beam_total_load_left, Machine_beam_total_load_right, Machine_beam_weight, Machine_efficiency, Machine_gear_ratio_numeric, Machine_groove_pressure, Machine_groove_pressure_acceptable_maximum, Machine_groove_pressure_constant, Machine_sheave_center_to_front_machine_beam_support, Machine_sheave_height, Machine_sheave_to_deflector_sheave, Machine_sheave_to_deflector_sheave_diagonal, Machine_sheave_to_deflector_sheave_horizontal, Machine_suspended_load, Machine_total_weight, Maxacceptablecarbuffstroke, Minacceptablembeammodulus, Minacceptableopeningw, Motor_current_supported_maximum, Motor_horsepower_required, Motor_peak_current_required, Motor_torque_releveling, Opening_count, Opening_height, Opening_to_hoistway_left, Opening_to_hoistway_right, Opening_width_building, Opening_width_door, Platform_depth, Platform_depth_spec, Platform_running_clearance, Platform_to_hoistway_front, Platform_to_hoistway_left, Platform_to_hoistway_right, Platform_weight, Platform_weight_factor_ap, Platform_weight_factor_s, Platform_weight_factor_x, Platform_weight_factor_z, Platform_width, Platform_width_f, Safety_beam_bending_moment, Safety_beam_between_guiderails, Safety_beam_bg, Safety_beam_load, Safety_beam_weight, Sling_stile_length, Sling_underbeam, Sling_underbeam_space, Sling_weight

Has-Subpart-Slot:

Elevator.car, Elevator.carbuffer, Elevator.carguiderail, Elevator.compensationcable, Elevator.controlcable, Elevator.counterweightbg, Elevator.counterwtbuffer, Elevator.counterwtguard, Elevator.counterwtguiderail, Elevator.crosshead, Elevator.deflectorsheave, Elevator.door, Elevator.governor, Elevator.governorcable, Elevator.hoistcable, Elevator.intercom, Elevator.lantern, Elevator.machine, Elevator.mbeam, Elevator.motgenerator, Elevator.motor, Elevator.msheavegroove, Elevator.phone, Elevator.platform, Elevator.positionind, Elevator.safety, Elevator.sling

Hoistway_Bracket_Spacing:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Depth:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Floor_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Overhead:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Pit_Depth:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Top_Landing_To_Underside_Machine_Beam:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Travel:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoistway_Width:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Above_Counterweight_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Load_Car_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Load_Car_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Load_Counterweight_Side_Car_Bottom:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Load_Counterweight_Side_Car_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Hoist_Cable_Safety_Factor:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Safety_Factor_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Factor:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio_Car_Bottom_Empty:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio_Car_Bottom_Full:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio_Car_Top_Empty:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Hoist_Cable_Traction_Ratio_Car_Top_Full:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Acceleration_Maximum: 4.25

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Angle_Of_Contact:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Bearing_Plate_Thickness: 1

Slot-Cardinality: 1

Slot-Value-Type: Integer

Machine_Beam_Bending_Moment_Left_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Bending_Moment_Right_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Center_To_Machine_Sheave_Center:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Impact_Load_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Impact_Load_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Impact_Load_Total:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Load_Front_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Load_Front_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Load_Rear_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Load_Rear_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Reaction_Front_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Reaction_Front_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Reaction_Rear_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Reaction_Rear_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Safety_Factor: 1.05

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Section_Modulus_Left_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Section_Modulus_Right_Minimum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Bottom_To_Machine_Room_Top:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Bottom_To_Machine_Room_Top_Spec:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Distance:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Front_To_Hoistway:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_To_Machine_Beam_Center:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Support_Type:

Slot-Cardinality: 1

Slot-Value-Type: String

Machine_Beam_Total_Load_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Total_Load_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Beam_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Efficiency:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Gear_Ratio_Numeric:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Groove_Pressure:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Groove_Pressure_Acceptable_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Groove_Pressure_Constant:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_Center_To_Front_Machine_Beam_Support:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_To_Deflector_Sheave:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_To_Deflector_Sheave_Diagonal:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_To_Deflector_Sheave_Horizontal:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Suspended_Load:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Total_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Maxacceptablecarbuffstroke:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Minacceptablembeammodulus:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Minacceptableopeningw:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Model-Id:

Slot-Cardinality: 1

Motor_Current_Supported_Maximum: 150

Slot-Cardinality: 1

Slot-Value-Type: Integer

Motor_Horsepower_Required:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Motor_Peak_Current_Required:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Motor_Torque_Releveling:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_Count:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_To_Hoistway_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_To_Hoistway_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_Width_Building:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Opening_Width_Door:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Depth:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Depth_Spec:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Running_Clearance: 1.25

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_To_Hoistway_Front:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_To_Hoistway_Left:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_To_Hoistway_Right:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Weight_Factor_Ap:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Platform_Weight_Factor_S:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Platform_Weight_Factor_X:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Weight_Factor_Z:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Width:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Platform_Width_F:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Bending_Moment:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Between_Guiderails:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Bg:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Load:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Safety_Beam_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Sling_Stile_Length:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Sling_Underbeam:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Sling_Underbeam_Space:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Sling_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Notes:

• Modification-By: Guus Schreiber: ;; MACHINE_BEAM_SAFETY_FACTOR = 1.05 (Sec. 5.13) ;; COUNTERWEIGHT_U_BRACKET_PROTRUSION = 0.75 (Sec. 4.4)

• Modification-By: Removed from has-constraint list, due to comment by Guus Schreiber:

  ;; BUG: redundant constraints ;; ;; The constraints: ;; car_return_left_c01 ;; car_return_left_c02 ;; car_return_left_c03 ;; are really subsumed by car_return_left_c0[4-9]

• Modification-By: As suggested by Guus Schreiber: COUNTERWEIGHT_BUFFER_HEIGHT was removed from elevator and every reference to (COUNTERWEIGHT_BUFFER_HEIGHT ?x) was replaced with (counterweight_buffer_height (elevator.counterweight ?x))

  nil