public interface VDMSet extends VDMSetOperations, VDMGeneric, org.omg.CORBA.portable.IDLEntity
Card, First, GetElem, ImpDiff, ImpIntersect, ImpUnion, Insert, InSet, IsEmpty, Next, RemElem, SubSet
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii