Initial Comment [...] Execute BOOL Rising edge [...] Done BOOL Ready condition

Name Type Initial [...] _REF_SM3 Input bExecute BOOL [...] . Output bDone BOOL TRUE

Initial Comment Inout [...] Execute BOOL Rising edge [...] Done BOOL TRUE :

. It has to be initialized once, to get a [...] from Input xExecute BOOL [...] To Output xDone BOOL TRUE

Name Type Initial [...] Execute BOOL FALSE Rising [...] bDone BOOL FALSE

Type Initial Comment Input bEnable BOOL [...] Done BOOL This variable

Initial Comment Input xExecute BOOL Rising edge [...] Done BOOL TRUE: Action

Initial Comment Input r [...] OutUnderflow BOOL FALSE Enable r [...] OutOverflow BOOL FALSE Enable r

_ArrayOfLReal_ContainsAllOf : BOOL Assertion [...] Name Type Initial [...] _ArrayOfLReal_ContainsAllOf BOOL TRUE

_ArrayOfLReal_ContainsNoneOf : BOOL Assertion [...] Initial Comment Return [...] _ArrayOfLReal_ContainsNoneOf BOOL TRUE