home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / object / 3453 < prev    next >
Encoding:
Text File  |  1992-09-08  |  1.7 KB  |  43 lines
  1. Newsgroups: comp.object
  2. Path: sparky!uunet!spool.mu.edu!yale.edu!ira.uka.de!chx400!bernina!neptune!santas
  3. From: santas@inf.ethz.ch (Philip Santas)
  4. Subject: Re: Object-Oriented Methodologies - Class Specifications
  5. Message-ID: <1992Sep7.030502.15385@neptune.inf.ethz.ch>
  6. Sender: news@neptune.inf.ethz.ch (Mr News)
  7. Nntp-Posting-Host: spica.inf.ethz.ch
  8. Organization: Dept. Informatik, Swiss Federal Institute of Technology (ETH), Zurich, CH
  9. References: <715276480.1.p00058@mail.psi.net> <PFKEB.92Sep5213354@kaon.SLAC.Stanford.EDU> <1992Sep6.112634.9430@neptune.inf.ethz.ch>
  10. Date: Mon, 7 Sep 1992 03:05:02 GMT
  11. Lines: 30
  12.  
  13.  
  14.  
  15. In article <1992Sep6.112634.9430@neptune.inf.ethz.ch> smissura@inf.ethz.ch (Stephan Albert Missura) writes:
  16. >
  17. >every set is also a class (at least in mathematics),
  18. >so a subset is also a subclass (but perhaps not in OO :-)
  19.  
  20. I think you mean that every subset _can_ be seen as a subclass.
  21. There are cases in which I want to deal with just sets and subsets, but
  22. I do not want to add subclass relationships among them.
  23.  
  24. On the other hand it is important to distinguish between subclasses and subsets.
  25. You can define subclasses by means of embeddings or injective coercions, but this 
  26. means that you just define a mapping from elements of one class to another and 
  27. not a subset relationship.
  28.  
  29. Philip Santas
  30.  
  31.   "In an evolving universe those who stand still are really moving backwards"
  32. --------------------------------------------------------------------------------
  33. email: santas@inf.ethz.ch                 Philip Santas
  34. Mail: Dept. Informatik                Department of Computer Science
  35.       ETH-Zentrum              Swiss Federal Institute of Technology
  36.       CH-8092 Zurich                       Zurich, Switzerland
  37.       Switzerland
  38. Phone: +41-1-2547391
  39.      
  40.  
  41.  
  42.  
  43.