StateMachine : BOOL InOut: Scope [...] StateMachine BOOL

_Zero : BOOL InOut: Scope [...] VPoly_Zero BOOL Inout

Factors_Positive : BOOL InOut: Scope [...] Factors_Positive BOOL

Limits_Positive : BOOL InOut: Scope [...] Limits_Positive BOOL

BufferedSamples : BOOL InOut: Scope [...] BufferedSamples BOOL

_Interval_Invariants : BOOL InOut: Scope [...] _Interval_Invariants BOOL Inout Const iv

: BOOL Flushes all [...] Return Flush BOOL

IsEmpty : BOOL [...] Return IsEmpty BOOL

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a