Subject: Re: SDL-News: Powerset of any kind of type
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Thu Apr 08 2004 - 20:19:23 GMT
Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From Rick Reed TSE <rickreed#tseng.co.uk> to sdlnews -----
joan.martin#philips.com at joan.martin#philips.com wrote on 08/04/04 12:57:
> Is it possible to define a powerset of any ADT defined by the user, or is it
> just possible with SDL predefined sorts?
It is in principle possible to define a powerset of any data type. However,
you will need to check if this is supported by the tool you are using.
POWERSET (tNeighbor) is likely to be quite difficult to implement. and I
would not be surprised to find it is not supported.
POWERSET works best with data types that have a relatively low finite number
of values, because it can then be implemented as a bit map.
Have you considered using STRING?
-- Rick Reed - rickreed#tseng.co.uk Tel:+44 15394 88462 Mob.:+44 7970 50 96 50
--End text from Rick Reed TSE <rickreed#tseng.co.uk> to sdlnews --- For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>
This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:50 GMT