gcc/ada/a-rbtgso.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT LIBRARY COMPONENTS                          --
   4 --                                                                          --
   5 --       A D A . C O N T A I N E R S . R E D _ B L A C K _ T R E E S .      --
   6 --               G E N E R I C _ S E T _ O P E R A T I O N S                --
   7 --                                                                          --
   8 --                                 S p e c                                  --
   9 --                                                                          --
  10 -- This specification is adapted from the Ada Reference Manual for use with --
  11 -- GNAT.  In accordance with the copyright of that document, you can freely --
  12 -- copy and modify this specification,  provided that if you redistribute a --
  13 -- modified version,  any changes that you have made are clearly indicated. --
  14 --                                                                          --
  15 ------------------------------------------------------------------------------
  16
  17 with Ada.Containers.Red_Black_Trees.Generic_Operations;
  18
  19 generic
  20    with package Tree_Operations is new Generic_Operations (<>);
  21
  22    use Tree_Operations.Tree_Types;
  23
  24    with procedure Insert_With_Hint
  25      (Dst_Tree : in out Tree_Type;
  26       Dst_Hint : Node_Access;
  27       Src_Node : Node_Access;
  28       Dst_Node : out Node_Access);
  29
  30    with function Copy_Tree (Source_Root : Node_Access)
  31        return Node_Access;
  32
  33    with procedure Delete_Tree (X : in out Node_Access);
  34
  35    with function Is_Less (Left, Right : Node_Access) return Boolean;
  36
  37    with procedure Free (X : in out Node_Access);
  38
  39 package Ada.Containers.Red_Black_Trees.Generic_Set_Operations is
  40    pragma Pure;
  41
  42    procedure Union (Target : in out Tree_Type; Source : Tree_Type);
  43
  44    function Union (Left, Right : Tree_Type) return Tree_Type;
  45
  46    procedure Intersection (Target : in out Tree_Type; Source : Tree_Type);
  47
  48    function Intersection (Left, Right : Tree_Type) return Tree_Type;
  49
  50    procedure Difference (Target : in out Tree_Type; Source : Tree_Type);
  51
  52    function Difference (Left, Right : Tree_Type) return Tree_Type;
  53
  54    procedure Symmetric_Difference
  55      (Target : in out Tree_Type;
  56       Source : Tree_Type);
  57
  58    function Symmetric_Difference (Left, Right : Tree_Type) return Tree_Type;
  59
  60    function Is_Subset (Subset : Tree_Type; Of_Set : Tree_Type) return Boolean;
  61
  62    function Overlap (Left, Right : Tree_Type) return Boolean;
  63
  64 end Ada.Containers.Red_Black_Trees.Generic_Set_Operations;