------------------------------------------------------------------------------
-- This is free software; you can                                           --
-- redistribute it and/or modify it under terms of the GNU General Public   --
-- License as published by the Free Software Foundation; either version 2,  --
-- or (at your option) any later version.  Charles is distributed in the    --
-- hope that it will be useful, but WITHOUT ANY WARRANTY; without even the  --
-- implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- See the GNU General Public License for more details.  You should have    --
-- received a copy of the GNU General Public License distributed with       --
-- Charles;  see file COPYING.TXT.  If not, write to the Free Software      --
-- Foundation,  59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.    --
--                                                                          --
-- As a special exception, if other files instantiate generics from this    --
-- unit, or you link this unit with other files to produce an executable,   --
-- this unit does not by itself cause the resulting executable to be        --
-- covered by the GNU General Public License.  This exception does not      --
-- however invalidate any other reasons why the executable file might be    --
-- covered by the GNU Public License.                                       --
--                                                                          --
------------------------------------------------------------------------------

--  $Id: ordered_sets-put.ads 772 2008-05-27 06:57:33Z keulsn $


with Ada.Text_IO;


--  GENERIC PROCEDURE Ordered_Sets.Put
--
--  Outputs a red black tree to a file in dot-format. The resulting
--  output can be viewed using the tool dot or dotty. Uses the
--  function Image to convert Elements in the tree into text.
--
--  PARAMS
--  - File: the file to write into (must be opened for writing)
--  - S   : the container to output
--  - Name: the name of the graph
generic
   with function Image
     (Element : in Element_Type)
     return String;

procedure Ordered_Sets.Put
  (File : in Ada.Text_IO.File_Type := Ada.Text_IO.Standard_Output;
   S    : in Set;
   Name : in String := "none");