Return to bracket_monomials_io.ads CVS log

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

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

1.1       maekawa     1: with text_io,Bracket_Monomials;       use text_io,Bracket_Monomials;
                      2:
                      3: package Bracket_Monomials_io is
                      4:
                      5: -- DESCRIPTION :
                      6: --   This package provides input/output operations for bracket monomials.
                      7:
                      8:   procedure put ( bm : in Bracket_Monomial );
                      9:   procedure put ( file : in file_type; bm : in Bracket_Monomial );
                     10:
                     11:   -- DESCRIPTION :
                     12:   --   Writes a bracket monomial on standard output or on file if
                     13:   --   this file is specified as argument.
                     14:
                     15: end Bracket_Monomials_io;