SDL-News: Powerset of any kind of type

Subject: SDL-News: Powerset of any kind of type
joan.martin#philips.com
Date: Thu Apr 08 2004 - 11:57:36 GMT

• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: luyang: "Re: SDL-News: How to obtain PId of a SDL process in C programme"
• Previous message: luyang: "SDL-News: How to obtain PId of a SDL process in C programme"
• Next in thread: Rick Reed TSE: "Re: SDL-News: Powerset of any kind of type"

Is it possible to define a powerset of any ADT defined by the user, or is
it just possible with SDL predefined sorts?

As an example, if I have defined the following Newtype:

Newtype tNeighbor
   STRUCT
       address mNetId;
       LocationAtr tNeighborLocAtr;
       lastSeqNum TIME;
       lastBeaconTime TIME;
ENDNEWTYPE tNeighbor;

Could it be possible to defined the following powerset?

NEWTYPE NeighborList
     POWERSET (tNeighbor)
ENDNEWTYPE;

Thanks in advance for your answer,

Best regards,
Joan

Is it possible to define a powerset of any ADT defined by the user, or is it just possible with SDL predefined sorts?

As an example, if I have defined the following Newtype:

Newtype tNeighbor
   STRUCT
       address              mNetId;
       LocationAtr         tNeighborLocAtr;
       lastSeqNum         TIME;
       lastBeaconTime   TIME;
ENDNEWTYPE tNeighbor;

Could it be possible to defined the following powerset?

NEWTYPE NeighborList
     POWERSET (tNeighbor)
ENDNEWTYPE;

Thanks in advance for your answer,

Best regards,
Joan --End text from joan.martin#philips.com to sdlnews --- For extra SDL Forum Society benefits join at

• Next message: luyang: "Re: SDL-News: How to obtain PId of a SDL process in C programme"
• Previous message: luyang: "SDL-News: How to obtain PId of a SDL process in C programme"
• Next in thread: Rick Reed TSE: "Re: SDL-News: Powerset of any kind of type"

This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:50 GMT