public interface VDMSetOperations extends VDMGenericOperations
Modifier and Type | Method and Description |
---|---|
int |
Card() |
boolean |
First(VDMGenericHolder g) |
VDMGeneric |
GetElem() |
void |
ImpDiff(VDMSet s) |
void |
ImpIntersect(VDMSet s) |
void |
ImpUnion(VDMSet s) |
void |
Insert(VDMGeneric g) |
boolean |
InSet(VDMGeneric g) |
boolean |
IsEmpty() |
boolean |
Next(VDMGenericHolder g) |
void |
RemElem(VDMGeneric g) |
boolean |
SubSet(VDMSet s) |
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii
void Insert(VDMGeneric g)
int Card()
boolean IsEmpty()
boolean InSet(VDMGeneric g)
void ImpUnion(VDMSet s)
void ImpIntersect(VDMSet s)
VDMGeneric GetElem() throws VDMError
VDMError
void RemElem(VDMGeneric g) throws VDMError
VDMError
boolean SubSet(VDMSet s)
void ImpDiff(VDMSet s)
boolean First(VDMGenericHolder g)
boolean Next(VDMGenericHolder g)