Return to localization_posets_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                      use text_io;
with Brackets;                     use Brackets;
with Localization_Posets;          use Localization_Posets;  

package Localization_Posets_io is

-- DESCRIPTION :
--   Provides output routines for localization posets.

  procedure put ( top,bottom : in Bracket; roco : in natural );
  procedure put ( file : in file_type;
                  top,bottom : in Bracket; roco : in natural );

  -- DESCRIPTION :
  --   Writes the top and bottom pivots as a couple of brackets,
  --   added with the root count, without taking a new line.

  procedure put ( root : in Node; lvl : in natural );
  procedure put ( file : in file_type; root : in Node; lvl : in natural );

  -- DESCRIPTION :
  --   Writes all nodes in the poset at the given level.

  procedure put ( poset : in Node );
  procedure put ( file : in file_type; poset : in Node );

  -- DESCRIPTION :
  --   Writes all nodes in the poset, level by level.

  procedure put ( poset : in Array_of_Nodes );
  procedure put ( file : in file_type; poset : in Array_of_Nodes );

  -- DESCRIPTION :
  --   Writes the leveled poset on standard output or on file.

  procedure put ( poset : in Array_of_Array_of_Nodes );
  procedure put ( file : in file_type; poset : in Array_of_Array_of_Nodes );

  -- DESCRIPTION :
  --   Writes the indexed poset on standard output or on file.
  --   The labels of the children to each node are in curled braces.

  procedure put_roco ( poset : in Array_of_Array_of_Nodes );
  procedure put_roco
              ( file : in file_type; poset : in Array_of_Array_of_Nodes );

  -- DESCRIPTION :
  --    Writes at each level the root count only.

end Localization_Posets_io;