public interface VDMMap extends VDMMapOperations, VDMGeneric, org.omg.CORBA.portable.IDLEntity
Apply, Dom, DomExists, First, ImpModify, ImpOverride, Insert, IsEmpty, Next, RemElem, Rng, Size
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii