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

(define-block
  sldemo_enginewc__Controller__preventswindup


  (
    sldemo_enginewc__Controller__preventswindup__integrator_input__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__controller_output__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__enable_integration__In1_1_1
  )

  (
    sldemo_enginewc__Controller__preventswindup__Constant__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__Constant2__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__Constant3__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__Constant4__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator1__In1_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator1__In2_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator1__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator2__In1_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator2__In2_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator2__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator3__In1_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator3__In2_1_1
    sldemo_enginewc__Controller__preventswindup__LogicalOperator3__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator1__In1_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator1__In2_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator1__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator2__In1_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator2__In2_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator2__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator3__In1_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator3__In2_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator3__Out1_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator4__In1_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator4__In2_1_1
    sldemo_enginewc__Controller__preventswindup__RelationalOperator4__Out1_1_1
  )

  (
  )

  (
    (- sldemo_enginewc__Controller__preventswindup__integrator_input__Out1_1_1 (mk-record -1 0 0))
    (- sldemo_enginewc__Controller__preventswindup__controller_output__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__Controller__preventswindup__Constant__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__Controller__preventswindup__enable_integration__In1_1_1 (mk-record 0 0 0))

    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator1__In1_1_1 sldemo_enginewc__Controller__preventswindup__RelationalOperator1__In2_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator2__In1_1_1 sldemo_enginewc__Controller__preventswindup__RelationalOperator2__In2_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator3__In1_1_1 sldemo_enginewc__Controller__preventswindup__RelationalOperator3__In2_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator4__In1_1_1 sldemo_enginewc__Controller__preventswindup__RelationalOperator4__In2_1_1)
    
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator2__In2_1_1 sldemo_enginewc__Controller__preventswindup__Constant3__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__LogicalOperator2__In2_1_1 sldemo_enginewc__Controller__preventswindup__LogicalOperator3__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__LogicalOperator3__In1_1_1 sldemo_enginewc__Controller__preventswindup__RelationalOperator1__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator4__In1_1_1 sldemo_enginewc__Controller__preventswindup__controller_output__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator2__In1_1_1 sldemo_enginewc__Controller__preventswindup__controller_output__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__LogicalOperator3__In2_1_1 sldemo_enginewc__Controller__preventswindup__RelationalOperator4__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator1__In2_1_1 sldemo_enginewc__Controller__preventswindup__Constant2__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__LogicalOperator2__In1_1_1 sldemo_enginewc__Controller__preventswindup__LogicalOperator1__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__LogicalOperator1__In1_1_1 sldemo_enginewc__Controller__preventswindup__RelationalOperator3__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__enable_integration__In1_1_1 sldemo_enginewc__Controller__preventswindup__LogicalOperator2__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator4__In2_1_1 sldemo_enginewc__Controller__preventswindup__Constant__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__LogicalOperator1__In2_1_1 sldemo_enginewc__Controller__preventswindup__RelationalOperator2__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator3__In2_1_1 sldemo_enginewc__Controller__preventswindup__Constant4__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator3__In1_1_1 sldemo_enginewc__Controller__preventswindup__integrator_input__Out1_1_1)
    (- sldemo_enginewc__Controller__preventswindup__RelationalOperator1__In1_1_1 sldemo_enginewc__Controller__preventswindup__integrator_input__Out1_1_1)
  )
)