Limits_Positive : BOOL InOut: Scope Name Type Inout [...] Limits_Positive BOOL

_Interval_Invariants : BOOL InOut: Scope Name Type Return Trj_Interval_Invariants BOOL Inout Const iv

_Zero : BOOL InOut: Scope Name Type Return VPoly_Zero BOOL Inout

Full : BOOL Returns [...] Name Type Return Full BOOL

StateMachine : BOOL InOut: Scope Name Type Return [...] StateMachine BOOL

BufferedSamples : BOOL InOut: Scope Name Type Return [...] BufferedSamples BOOL

StateMachine : BOOL InOut: Scope Name Type Return [...] StateMachine BOOL

ApplicationCall : BOOL InOut: Scope Name Type Return [...] ApplicationCall BOOL

_Abort : BOOL InOut: Scope Name Type Return prv_Abort BOOL

_Start : BOOL InOut: Scope Name Type Return prv_Start BOOL