home *** CD-ROM | disk | FTP | other *** search
/ rtsi.com / 2014.01.www.rtsi.com.tar / www.rtsi.com / OS9 / OSK / EFFO / forum8.lzh / PROGRAMME / MODULA / SET / bigset.def next >
Text File  |  1989-01-19  |  1KB  |  36 lines
  1. (* Module Version V#007, Gdos /1.3l/, Begonnen: 19.01.86, Stand: 12.04.86 *)
  2. (*                                                              Alex Wyss *)
  3. (* Anpassung Miele-M2 / OS-9  19-12-88                        W. Stehling *)
  4.  
  5. DEFINITION MODULE BigSet ;
  6.  
  7. EXPORT QUALIFIED
  8. (* typ *)       bigset ,
  9. (* proc *)      define , destroy , nullset , fullset , assign ,
  10.                 include , exclude , union , intersection , diff , symdiff ,
  11.                 complement , inset , subset , superset , equalset
  12. ;
  13.  
  14. TYPE bigset ;
  15.  
  16. PROCEDURE define ( setsize : CARDINAL ) : bigset ;
  17. PROCEDURE destroy ( forget : bigset ) ;
  18. PROCEDURE nullset ( VAR bs : bigset ) ;
  19. PROCEDURE fullset ( VAR bs : bigset ) ;
  20. PROCEDURE assign ( fromset : bigset; VAR toset : bigset ) ;
  21.  
  22. PROCEDURE include ( VAR bs : bigset ; nr : CARDINAL ) ;
  23. PROCEDURE exclude ( VAR bs : bigset ; nr : CARDINAL ) ;
  24. PROCEDURE union ( aset , bset : bigset; VAR cset : bigset ) ;
  25. PROCEDURE intersection ( aset , bset : bigset; VAR cset : bigset ) ;
  26. PROCEDURE diff ( aset , bset : bigset; VAR cset : bigset ) ;
  27. PROCEDURE symdiff ( aset , bset : bigset; VAR cset : bigset ) ;
  28. PROCEDURE complement ( VAR bs : bigset ) ;
  29.  
  30. PROCEDURE inset ( bs : bigset ; nr : CARDINAL ) : BOOLEAN ;
  31. PROCEDURE subset ( subs , bs : bigset ) : BOOLEAN ;
  32. PROCEDURE superset ( sups , bs : bigset ) : BOOLEAN ;
  33. PROCEDURE equalset ( equs , bs : bigset ) : BOOLEAN ;
  34.  
  35. END BigSet .
  36.