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

(define-block
  sldemo_clutch_if


  (
    sldemo_clutch_if__we__In1_1_1
    sldemo_clutch_if__wv__In1_1_1
    sldemo_clutch_if__w__In1_1_1
    sldemo_clutch_if__LockedFlag__In1_1_1
    sldemo_clutch_if__LockupFlag__In1_1_1
    sldemo_clutch_if__Break-ApartFlag__In1_1_1
    sldemo_clutch_if__FrictionTorqueRequiredforLockup__In1_1_1
    sldemo_clutch_if__MaxStaticFrictionTorque__In1_1_1
  )

  (
    sldemo_clutch_if__FrictionModeLogic__Tin__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__locked__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__lock__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__unlock__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__Tf__In1_1_1
    sldemo_clutch_if__FrictionModel__Fn__Out1_1_1
    sldemo_clutch_if__FrictionModel__Tfmaxk__In1_1_1
    sldemo_clutch_if__FrictionModel__Tfmaxs__In1_1_1
    sldemo_clutch_if__Locked__Tin__Out1_1_1
    sldemo_clutch_if__Locked__w__In1_1_1
    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__ClutchPedal__Out1_1_1
    sldemo_clutch_if__EngineTorque__Out1_1_1
    sldemo_clutch_if__If__In1_1_1
    sldemo_clutch_if__If__Out1_1_1
    sldemo_clutch_if__If__Out2_1_1
    sldemo_clutch_if__unlocked_1_1
    sldemo_clutch_if__locked_1_1
    sldemo_clutch_if__Tin_1_1
    sldemo_clutch_if__Fn_1_1
    sldemo_clutch_if__Tfmaxs_1_1
    sldemo_clutch_if__ShaftSpeed_1_1
    sldemo_clutch_if__LockupFlag_1_1
    sldemo_clutch_if__LockedFlag_1_1
    sldemo_clutch_if__EngineSpeed_1_1
    sldemo_clutch_if__VehicleSpeed_1_1
    sldemo_clutch_if__Tfmaxk_1_1
    sldemo_clutch_if__UnlockFlag_1_1
  )

  (
    (sldemo_clutch_if__FrictionModeLogic sldemo_clutch_if__FrictionModeLogic__Tin__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__locked__In1_1_1 sldemo_clutch_if__FrictionModeLogic__lock__In1_1_1 sldemo_clutch_if__FrictionModeLogic__unlock__In1_1_1 sldemo_clutch_if__FrictionModeLogic__Tf__In1_1_1)
    (sldemo_clutch_if__FrictionModel sldemo_clutch_if__FrictionModel__Fn__Out1_1_1 sldemo_clutch_if__FrictionModel__Tfmaxk__In1_1_1 sldemo_clutch_if__FrictionModel__Tfmaxs__In1_1_1)
    (sldemo_clutch_if__Locked sldemo_clutch_if__Locked__Tin__Out1_1_1 sldemo_clutch_if__Locked__w__In1_1_1)
    (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__ClutchPedal__Out1_1_1 (mk-record -2 1 1))
    (- sldemo_clutch_if__EngineTorque__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__we__In1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__wv__In1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__w__In1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__LockedFlag__In1_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__LockupFlag__In1_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__Break-ApartFlag__In1_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__FrictionTorqueRequiredforLockup__In1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__MaxStaticFrictionTorque__In1_1_1 (mk-record -2 2 1))

    
    (- sldemo_clutch_if__If__In1_1_1 sldemo_clutch_if__LockedFlag_1_1)
    (- sldemo_clutch_if__LockedFlag__In1_1_1 sldemo_clutch_if__LockedFlag_1_1)
    (- sldemo_clutch_if__FrictionModel__Fn__Out1_1_1 sldemo_clutch_if__Fn_1_1)
    (- sldemo_clutch_if__Unlocked__Tfmaxk__Out1_1_1 sldemo_clutch_if__Tfmaxk_1_1)
    (- sldemo_clutch_if__we__In1_1_1 sldemo_clutch_if__EngineSpeed_1_1)
    (- sldemo_clutch_if__UnlockFlag_1_1 sldemo_clutch_if__FrictionModeLogic__unlock__In1_1_1)
    (- sldemo_clutch_if__Break-ApartFlag__In1_1_1 sldemo_clutch_if__FrictionModeLogic__unlock__In1_1_1)
    (- sldemo_clutch_if__LockedFlag_1_1 sldemo_clutch_if__FrictionModeLogic__locked__In1_1_1)
    (- sldemo_clutch_if__If__In1_1_1 sldemo_clutch_if__FrictionModeLogic__locked__In1_1_1)
    (- sldemo_clutch_if__LockedFlag__In1_1_1 sldemo_clutch_if__FrictionModeLogic__locked__In1_1_1)
    (- sldemo_clutch_if__MaxStaticFrictionTorque__In1_1_1 sldemo_clutch_if__Tfmaxs_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1_1_1 sldemo_clutch_if__Tfmaxs_1_1)
    (- sldemo_clutch_if__Tfmaxk_1_1 sldemo_clutch_if__FrictionModel__Tfmaxk__In1_1_1)
    (- sldemo_clutch_if__Unlocked__Tfmaxk__Out1_1_1 sldemo_clutch_if__FrictionModel__Tfmaxk__In1_1_1)
    (- sldemo_clutch_if__LockupFlag__In1_1_1 sldemo_clutch_if__LockupFlag_1_1)
    (- sldemo_clutch_if__EngineSpeed_1_1 sldemo_clutch_if__Unlocked__we__In1_1_1)
    (- sldemo_clutch_if__we__In1_1_1 sldemo_clutch_if__Unlocked__we__In1_1_1)
    (- sldemo_clutch_if__Tfmaxs_1_1 sldemo_clutch_if__FrictionModel__Tfmaxs__In1_1_1)
    (- sldemo_clutch_if__MaxStaticFrictionTorque__In1_1_1 sldemo_clutch_if__FrictionModel__Tfmaxs__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1_1_1 sldemo_clutch_if__FrictionModel__Tfmaxs__In1_1_1)
    (- sldemo_clutch_if__VehicleSpeed_1_1 sldemo_clutch_if__Unlocked__wv__In1_1_1)
    (- sldemo_clutch_if__wv__In1_1_1 sldemo_clutch_if__Unlocked__wv__In1_1_1)
    (- sldemo_clutch_if__unlocked_1_1 sldemo_clutch_if__If__Out2_1_1)
    (- sldemo_clutch_if__locked_1_1 sldemo_clutch_if__If__Out1_1_1)
    (- sldemo_clutch_if__Tin_1_1 sldemo_clutch_if__EngineTorque__Out1_1_1)
    (- sldemo_clutch_if__Locked__Tin__Out1_1_1 sldemo_clutch_if__EngineTorque__Out1_1_1)
    (- sldemo_clutch_if__Unlocked__Tin__Out1_1_1 sldemo_clutch_if__EngineTorque__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__Tin__Out1_1_1 sldemo_clutch_if__EngineTorque__Out1_1_1)
    (- sldemo_clutch_if__wv__In1_1_1 sldemo_clutch_if__VehicleSpeed_1_1)
    (- sldemo_clutch_if__Fn_1_1 sldemo_clutch_if__ClutchPedal__Out1_1_1)
    (- sldemo_clutch_if__FrictionModel__Fn__Out1_1_1 sldemo_clutch_if__ClutchPedal__Out1_1_1)
    (- sldemo_clutch_if__LockupFlag_1_1 sldemo_clutch_if__FrictionModeLogic__lock__In1_1_1)
    (- sldemo_clutch_if__LockupFlag__In1_1_1 sldemo_clutch_if__FrictionModeLogic__lock__In1_1_1)
    (- sldemo_clutch_if__Locked__Tin__Out1_1_1 sldemo_clutch_if__Tin_1_1)
    (- sldemo_clutch_if__Unlocked__Tin__Out1_1_1 sldemo_clutch_if__Tin_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__Tin__Out1_1_1 sldemo_clutch_if__Tin_1_1)
    (- sldemo_clutch_if__w__In1_1_1 sldemo_clutch_if__ShaftSpeed_1_1)
    (- sldemo_clutch_if__ShaftSpeed_1_1 sldemo_clutch_if__Locked__w__In1_1_1)
    (- sldemo_clutch_if__w__In1_1_1 sldemo_clutch_if__Locked__w__In1_1_1)
    (- sldemo_clutch_if__Break-ApartFlag__In1_1_1 sldemo_clutch_if__UnlockFlag_1_1)
    (- sldemo_clutch_if__FrictionTorqueRequiredforLockup__In1_1_1 sldemo_clutch_if__FrictionModeLogic__Tf__In1_1_1)
  )
)