Return to trees_of_vectors_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/trees_of_vectors_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Trees_of_Vectors;                   use Trees_of_Vectors;
                      3:
                      4: package Trees_of_Vectors_io is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package provides i/o operations for Trees_of_Vectors.
                      8: --   The formats for input are the same as those for output.
                      9:
                     10:   procedure get ( n : in natural; tv : in out Tree_of_Vectors );
                     11:   procedure get ( file : in file_type;
                     12:                   n : in natural; tv : in out Tree_of_Vectors );
                     13:
                     14:   -- DESCRIPTION :
                     15:   --   Reads a tree of vectors from standard input or from file,
                     16:   --   n equals the maximum length of a vectors in the tree.
                     17:
                     18:   procedure put ( tv : in Tree_of_Vectors );
                     19:   procedure put ( file : in file_type; tv : in Tree_of_Vectors );
                     20:
                     21:   -- DESCRIPTION :
                     22:   --   Writes a tree of vectors on standard output or on file.
                     23:   --   The left branch in the tree comes first,
                     24:   --   for each vector a new line is taken,
                     25:   --   the entries in the vector are separated by spaces.
                     26:   --   The output of a whole tree is ended by a blank line.
                     27:
                     28: end Trees_of_Vectors_io;