home *** CD-ROM | disk | FTP | other *** search
/ BURKS 2 / BURKS_AUG97.ISO / BURKS / LANGUAGE / ADA / LOVELACE / sets.ads < prev    next >
Text File  |  1996-10-01  |  435b  |  10 lines
  1.   package Sets is
  2.     subtype Element_Type is Natural;
  3.     type Set is abstract tagged null record;
  4.     function Empty return Set is abstract;
  5.     function Union(Left, Right : Set) return Set is abstract;
  6.     function Intersection(Left, Right : Set) return Set is abstract;
  7.     function Unit_Set(Element : Element_Type) return Set is abstract;
  8.     procedure Take(Element : out Element_Type; From : in out Set) is abstract;
  9.   end Sets;
  10.