Function MODEL-ID

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

Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function

Arity: 2

Parameter-Slot-Of: Governor_model, Machine_groove_model

Used-In-Constraint:

C-11, C-24_1, C-24_2, C-28_1, C-28_2, C-28_3, C-34_1, C-34_2, C-34_3, C-34_4, C-36_2, C-36_3, C-45, C-46_1, C-46_2, C-46_3, C-46_4, C-48_1, C-48_2, C-5_2, C-5_3, 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_c02, Car_intercom_c03, Car_lantern_c02, Car_lantern_c03, Car_phone_c02, Car_phone_c03, 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, Compensation_cable_length_c01, Compensation_cable_length_c02, Compensation_cable_model_c01, Compensation_cable_model_c02, Compensation_cable_model_c03, Compensation_cable_model_c04, Compensation_cable_model_c05, Control_cable_model_c01, Control_cable_model_c02, Control_cable_model_c03, Counterweight_guard_required_c, Counterweight_guard_required_c2, Crosshead_model_c01, Crosshead_model_c02, Crosshead_model_c03, Crosshead_model_c04, Crosshead_model_c05, 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_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, Motorscompatible_machine18, Motorscompatible_machine28, Motorscompatible_machine58, 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_model_c01, Platform_model_c02, Platform_model_c03, Platform_model_c04, Platform_weight_c01, Platform_weight_c02, Platform_weight_c03, 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_c10, Platform_weight_factor_ap_c11, 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, Safety_beam_model_c01, Safety_beam_model_c02, Safety_beam_model_c03