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

(define-block
  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__FrictionModeLogic__BreakApartDetection__Tfmaxs__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__Tf__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__unlock__In1_1_1
    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__LockupFSM__lock__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__unlock__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__locked__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tin__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tf__In1_1_1
  )

  (
    (sldemo_clutch_if__FrictionModeLogic__BreakApartDetection sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__Tfmaxs__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__Tf__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__unlock__In1_1_1)
    (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__LockupFSM sldemo_clutch_if__FrictionModeLogic__LockupFSM__lock__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__unlock__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__locked__In1_1_1)
    (sldemo_clutch_if__FrictionModeLogic__RequisiteFriction sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tin__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tf__In1_1_1)
  )

  (
    (- sldemo_clutch_if__FrictionModeLogic__Tin__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__FrictionModeLogic__locked__In1_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__FrictionModeLogic__lock__In1_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__FrictionModeLogic__unlock__In1_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__FrictionModeLogic__Tf__In1_1_1 (mk-record -2 2 1))

    
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__lock__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__lock__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__lock__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupDetection__lock__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__unlock__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__unlock__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__unlock__In1_1_1 sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__unlock__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__Tf__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tf__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__Tf__In1_1_1 sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tf__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tfmaxs__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__BreakApartDetection__Tfmaxs__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__Tfmaxs__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupDetection__Tin__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__Tin__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__RequisiteFriction__Tin__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__Tin__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__locked__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__locked__In1_1_1)
  )
)