Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/trees_of_vectors_io.ads, Revision 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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>