Return to localization_posets_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/localization_posets_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                      use text_io;
                      2: with Brackets;                     use Brackets;
                      3: with Localization_Posets;          use Localization_Posets;
                      4:
                      5: package Localization_Posets_io is
                      6:
                      7: -- DESCRIPTION :
                      8: --   Provides output routines for localization posets.
                      9:
                     10:   procedure put ( top,bottom : in Bracket; roco : in natural );
                     11:   procedure put ( file : in file_type;
                     12:                   top,bottom : in Bracket; roco : in natural );
                     13:
                     14:   -- DESCRIPTION :
                     15:   --   Writes the top and bottom pivots as a couple of brackets,
                     16:   --   added with the root count, without taking a new line.
                     17:
                     18:   procedure put ( root : in Node; lvl : in natural );
                     19:   procedure put ( file : in file_type; root : in Node; lvl : in natural );
                     20:
                     21:   -- DESCRIPTION :
                     22:   --   Writes all nodes in the poset at the given level.
                     23:
                     24:   procedure put ( poset : in Node );
                     25:   procedure put ( file : in file_type; poset : in Node );
                     26:
                     27:   -- DESCRIPTION :
                     28:   --   Writes all nodes in the poset, level by level.
                     29:
                     30:   procedure put ( poset : in Array_of_Nodes );
                     31:   procedure put ( file : in file_type; poset : in Array_of_Nodes );
                     32:
                     33:   -- DESCRIPTION :
                     34:   --   Writes the leveled poset on standard output or on file.
                     35:
                     36:   procedure put ( poset : in Array_of_Array_of_Nodes );
                     37:   procedure put ( file : in file_type; poset : in Array_of_Array_of_Nodes );
                     38:
                     39:   -- DESCRIPTION :
                     40:   --   Writes the indexed poset on standard output or on file.
                     41:   --   The labels of the children to each node are in curled braces.
                     42:
                     43:   procedure put_roco ( poset : in Array_of_Array_of_Nodes );
                     44:   procedure put_roco
                     45:               ( file : in file_type; poset : in Array_of_Array_of_Nodes );
                     46:
                     47:   -- DESCRIPTION :
                     48:   --    Writes at each level the root count only.
                     49:
                     50: end Localization_Posets_io;