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

(define-block
  sldemo_clutch_if__FrictionModeLogic__LockupDetection


  (
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tin__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tfmaxs__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__lock__In1_1_1
  )

  (
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__FrictionCalc__Torque__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__FrictionCalc__FrictionTorque__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__FrictionTorque__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__MaxFrictionTorque__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__okay__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__Logic__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__Logic__In2_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__Logic__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__In2_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__VelocitiesMatch__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__VelocitiesMatch__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__w1__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupDetection__w6__Out1_1_1
  )

  (
    (sldemo_clutch_if__FrictionModeLogic__LockupDetection__FrictionCalc sldemo_clutch_if__FrictionModeLogic__LockupDetection__FrictionCalc__Torque__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__FrictionCalc__FrictionTorque__In1_1_1)
    (sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__FrictionTorque__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__MaxFrictionTorque__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__okay__In1_1_1)
  )

  (
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tin__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tfmaxs__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__w1__Out1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__w6__Out1_1_1 (mk-record -1 0 0))
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__lock__In1_1_1 (mk-record 0 0 0))

    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__In2_1_1)
    
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__FrictionTorque__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__FrictionCalc__FrictionTorque__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Logic__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__VelocitiesMatch__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Logic__In2_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__okay__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__VelocitiesMatch__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__RequiredFrictionforLockup__MaxFrictionTorque__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tfmaxs__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__In2_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__w6__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__FrictionCalc__Torque__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tin__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Sum__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__w1__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__lock__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__Logic__Out1_1_1)
  )
)