fp2/week3/camil/StdDynSet.dcl

   1 definition module StdDynSet
   2
   3 import StdOverloaded
   4
   5 class Set a | TC, ==, toString a
   6
   7 :: Set
   8
   9 instance zero     Set
  10 instance toString Set
  11 instance ==       Set
  12
  13 //toSet                 :: a       -> Set  | Set a
  14
  15 nrOfElts                ::     Set -> Int
  16 isEmptySet              ::     Set -> Bool
  17
  18 //memberOfSet           :: a   Set -> Bool | Set a
  19 isSubset                :: Set Set -> Bool
  20 isStrictSubset  :: Set Set -> Bool
  21
  22 union                   :: Set Set -> Set
  23 intersection    :: Set Set -> Set
  24 without                 :: Set Set -> Set