SMC_ISentenceHistory.Contains [...] ContainsElement : BOOL [...] ContainsElement BOOL

SMC_MonotoneSentenceHistory.Contains [...] ContainsElement : BOOL [...] Type Return Contains

IDintSet.Contains [...] Contains : BOOL In [...] Return Contains BOOL

DintSetBitBased.Contains [...] Contains : BOOL In [...] Return Contains BOOL

DintSetFull.Contains [...] Contains : BOOL In [...] Return Contains BOOL

Trj_ContainsReversal (FUN) ¶ FUNCTION Trj_Contains [...] contains a reversal

Assert_ArrayOfBool_Contains (Function) Assert_ArrayOfBool_ContainsNot (Function) Assert_ArrayOfBool_Contains

Assert_ArrayOfByte_Contains (Function) Assert_ArrayOfByte_ContainsAllOf (Function) Assert_ArrayOfByte_Contains

Assert_ArrayOfLReal_Contains (Function) Assert_ArrayOfLReal_ContainsAllOf (Function) Assert_ArrayOfLReal_Contains

Assert_ArrayOfString_Contains (Function) Assert_ArrayOfString_ContainsAllOf (Function) Assert_ArrayOfString_Contains