class VMULTIMAP{ITP,TTP} < $VMULTIMAP{ITP,TTP} |
---|
$VMULTIMAP{_,_} | $VBAG{_} | $HASH | $IS_EQ | $RO_BAG{_} | $CONTAINER{_} | $STR | $ELT{_} | $ELT | $RO_MULTIMAP{_,_} |
add(e:TUP{ITP,TTP}):SAME |
---|
delete(e:TUP{ITP,TTP}):SAME |
---|
delete_all(e:TUP{ITP,TTP}):SAME |
---|
hash:INT |
---|
is_eq(a:$OB):BOOL |
---|
**** | Return true if 'self' and 'v' have the same value |