Thanks for your reply,Qian!
In RubySlicc_Types.sm, I found the TYPE NodeID
already exists here:
external_type(NodeID,
default="0");
The type set is
also defined:
external_type(Set, non_obj="yes") {
void setSize(int); void add(NodeID); void
addSet(Set); void remove(NodeID); void
removeSet(Set); void broadcast(); void
addRandom(); void clear(); int count(); bool
isElement(NodeID); bool isEqual(Set); bool
isSuperset(Set); bool intersectionIsEmpty(Set); NodeID
smallestElement(); }
Do you mean that I need to add the NodeID declaration in the
TYPE set? It puzzled me ...
|