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     ! 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;