;; (define-type dim (record time::int length::int mass::int))

(define-block
  sldemo_clutch_if__Unlocked


  (
    sldemo_clutch_if__Unlocked__Tfmaxk__Out1_1_1
    sldemo_clutch_if__Unlocked__Tin__Out1_1_1
    sldemo_clutch_if__Unlocked__we__In1_1_1
    sldemo_clutch_if__Unlocked__wv__In1_1_1
  )

  (
    sldemo_clutch_if__Unlocked__E_Sum__In1_1_1
    sldemo_clutch_if__Unlocked__E_Sum__In2_1_1
    sldemo_clutch_if__Unlocked__E_Sum__In3_1_1
    sldemo_clutch_if__Unlocked__E_Sum__Out1_1_1
    sldemo_clutch_if__Unlocked__EngineDamping__In1_1_1
    sldemo_clutch_if__Unlocked__EngineDamping__Out1_1_1
    sldemo_clutch_if__Unlocked__EngineDamping__Constant_1_1
    sldemo_clutch_if__Unlocked__EngineInertia__In1_1_1
    sldemo_clutch_if__Unlocked__EngineInertia__Out1_1_1
    sldemo_clutch_if__Unlocked__EngineInertia__Constant_1_1
    sldemo_clutch_if__Unlocked__EngineIntegrator__In1_1_1
    sldemo_clutch_if__Unlocked__EngineIntegrator__In2_1_1
    sldemo_clutch_if__Unlocked__EngineIntegrator__Out1_1_1
    sldemo_clutch_if__Unlocked__EngineIntegrator__Outstate_1_1
    sldemo_clutch_if__Unlocked__Goto__In1_1_1
    sldemo_clutch_if__Unlocked__Goto1__In1_1_1
    sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In1_1_1
    sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In2_1_1
    sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__Out1_1_1
    sldemo_clutch_if__Unlocked__V_Sum__In1_1_1
    sldemo_clutch_if__Unlocked__V_Sum__In2_1_1
    sldemo_clutch_if__Unlocked__V_Sum__Out1_1_1
    sldemo_clutch_if__Unlocked__VehicleDamping__In1_1_1
    sldemo_clutch_if__Unlocked__VehicleDamping__Out1_1_1
    sldemo_clutch_if__Unlocked__VehicleDamping__Constant_1_1
    sldemo_clutch_if__Unlocked__VehicleInertia__In1_1_1
    sldemo_clutch_if__Unlocked__VehicleInertia__Out1_1_1
    sldemo_clutch_if__Unlocked__VehicleInertia__Constant_1_1
    sldemo_clutch_if__Unlocked__VehicleIntegrator__In1_1_1
    sldemo_clutch_if__Unlocked__VehicleIntegrator__In2_1_1
    sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1_1_1
    sldemo_clutch_if__Unlocked__VehicleIntegrator__Outstate_1_1
    sldemo_clutch_if__Unlocked__W_Slip__In1_1_1
    sldemo_clutch_if__Unlocked__W_Slip__In2_1_1
    sldemo_clutch_if__Unlocked__W_Slip__Out1_1_1
    sldemo_clutch_if__Unlocked__slip_direction__In1_1_1
    sldemo_clutch_if__Unlocked__slip_direction__Out1_1_1
    sldemo_clutch_if__Unlocked__w0__Out1_1_1
  )

  (
  )

  (
    (- sldemo_clutch_if__Unlocked__Tfmaxk__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__Unlocked__Tin__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__Unlocked__EngineDamping__Constant_1_1 (mk-record -1 2 1))
    (- sldemo_clutch_if__Unlocked__EngineInertia__Constant_1_1 (mk-record 0 -2 -1))
    (- sldemo_clutch_if__Unlocked__Goto__In1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__Unlocked__Goto1__In1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__Unlocked__VehicleDamping__Constant_1_1 (mk-record -1 2 1))
    (- sldemo_clutch_if__Unlocked__VehicleInertia__Constant_1_1 (mk-record 0 -2 -1))
    (- sldemo_clutch_if__Unlocked__w0__Out1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__Unlocked__w0__Out1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__Unlocked__we__In1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__Unlocked__wv__In1_1_1 (mk-record -1 0 0))

    (- sldemo_clutch_if__Unlocked__E_Sum__Out1_1_1 sldemo_clutch_if__Unlocked__E_Sum__In1_1_1)
    (- sldemo_clutch_if__Unlocked__E_Sum__In1_1_1 sldemo_clutch_if__Unlocked__E_Sum__In2_1_1)
    (- sldemo_clutch_if__Unlocked__E_Sum__In1_1_1 sldemo_clutch_if__Unlocked__E_Sum__In3_1_1)
    (- sldemo_clutch_if__Unlocked__EngineDamping__Out1_1_1 (+ sldemo_clutch_if__Unlocked__EngineDamping__In1_1_1 sldemo_clutch_if__Unlocked__EngineDamping__Constant_1_1))
    (- sldemo_clutch_if__Unlocked__EngineInertia__Out1_1_1 (+ sldemo_clutch_if__Unlocked__EngineInertia__In1_1_1 sldemo_clutch_if__Unlocked__EngineInertia__Constant_1_1))
    (- sldemo_clutch_if__Unlocked__EngineIntegrator__Out1_1_1 (increment sldemo_clutch_if__Unlocked__EngineIntegrator__In1_1_1 0 1))
    (- sldemo_clutch_if__Unlocked__EngineIntegrator__Out1_1_1 sldemo_clutch_if__Unlocked__EngineIntegrator__In2_1_1)
    (- sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__Out1_1_1  (+ sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In1_1_1 sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In2_1_1))
    (- sldemo_clutch_if__Unlocked__V_Sum__Out1_1_1 sldemo_clutch_if__Unlocked__V_Sum__In1_1_1)
    (- sldemo_clutch_if__Unlocked__V_Sum__In1_1_1 sldemo_clutch_if__Unlocked__V_Sum__In2_1_1)
    (- sldemo_clutch_if__Unlocked__VehicleDamping__Out1_1_1 (+ sldemo_clutch_if__Unlocked__VehicleDamping__In1_1_1 sldemo_clutch_if__Unlocked__VehicleDamping__Constant_1_1))
    (- sldemo_clutch_if__Unlocked__VehicleInertia__Out1_1_1 (+ sldemo_clutch_if__Unlocked__VehicleInertia__In1_1_1 sldemo_clutch_if__Unlocked__VehicleInertia__Constant_1_1))
    (- sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1_1_1 (increment sldemo_clutch_if__Unlocked__VehicleIntegrator__In1_1_1 0 1))
    (- sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1_1_1 sldemo_clutch_if__Unlocked__VehicleIntegrator__In2_1_1)
    (- sldemo_clutch_if__Unlocked__W_Slip__Out1_1_1 sldemo_clutch_if__Unlocked__W_Slip__In1_1_1)
    (- sldemo_clutch_if__Unlocked__W_Slip__In1_1_1 sldemo_clutch_if__Unlocked__W_Slip__In2_1_1)
    
    (- sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In1_1_1 sldemo_clutch_if__Unlocked__Tfmaxk__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__EngineIntegrator__In2_1_1 sldemo_clutch_if__Unlocked__w0__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__VehicleIntegrator__In2_1_1 sldemo_clutch_if__Unlocked__w0__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__VehicleDamping__In1_1_1 sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__wv__In1_1_1 sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__W_Slip__In2_1_1 sldemo_clutch_if__Unlocked__VehicleIntegrator__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__Goto__In1_1_1 sldemo_clutch_if__Unlocked__EngineIntegrator__Outstate_1_1)
    (- sldemo_clutch_if__Unlocked__EngineInertia__In1_1_1 sldemo_clutch_if__Unlocked__E_Sum__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__E_Sum__In1_1_1 sldemo_clutch_if__Unlocked__Tin__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__we__In1_1_1 sldemo_clutch_if__Unlocked__EngineIntegrator__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__EngineDamping__In1_1_1 sldemo_clutch_if__Unlocked__EngineIntegrator__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__W_Slip__In1_1_1 sldemo_clutch_if__Unlocked__EngineIntegrator__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__V_Sum__In1_1_1 sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__E_Sum__In2_1_1 sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__MaxDynamicFrictionTorque__In2_1_1 sldemo_clutch_if__Unlocked__slip_direction__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__E_Sum__In3_1_1 sldemo_clutch_if__Unlocked__EngineDamping__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__VehicleIntegrator__In1_1_1 sldemo_clutch_if__Unlocked__VehicleInertia__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__VehicleInertia__In1_1_1 sldemo_clutch_if__Unlocked__V_Sum__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__Goto1__In1_1_1 sldemo_clutch_if__Unlocked__VehicleIntegrator__Outstate_1_1)
    (- sldemo_clutch_if__Unlocked__slip_direction__In1_1_1 sldemo_clutch_if__Unlocked__W_Slip__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__V_Sum__In2_1_1 sldemo_clutch_if__Unlocked__VehicleDamping__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__EngineIntegrator__In1_1_1 sldemo_clutch_if__Unlocked__EngineInertia__Out1_1_1)
  )
)