Return to bracket_polynomials_io.ads CVS log

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

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

1.1       maekawa     1: with text_io;                        use text_io;
                      2: with Bracket_Polynomials;            use Bracket_Polynomials;
                      3:
                      4: package Bracket_Polynomials_io is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package provides output operations for bracket polynomials.
                      8:
                      9:   procedure put ( t : in Bracket_Term );
                     10:   procedure put ( file : in file_type; t : in Bracket_Term );
                     11:
                     12:   -- DESCRIPTION :
                     13:   --   Writes the term on standard output or on file,
                     14:   --   if the file is specified as argument of the procedure.
                     15:
                     16:   procedure put ( p : in Bracket_Polynomial );
                     17:   procedure put ( file : in file_type; p : in Bracket_Polynomial );
                     18:
                     19:   -- DESCRIPTION :
                     20:   --   Writes the polynomial on standard output or on file,
                     21:   --   if the file is specified as argument of the procedure.
                     22:
                     23: end Bracket_Polynomials_io;