Return to bracket_monomials_io.adb CVS log

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

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

1.1       maekawa     1: with Brackets,Brackets_io;             use Brackets,Brackets_io;
                      2:
                      3: package body Bracket_Monomials_io is
                      4:
                      5:   procedure put ( bm : in Bracket_Monomial ) is
                      6:   begin
                      7:     put(Standard_Output,bm);
                      8:   end put;
                      9:
                     10:   procedure put ( file : in file_type; bm : in Bracket_Monomial ) is
                     11:
                     12:     procedure Write_Bracket ( b : in Bracket; cont : out boolean ) is
                     13:     begin
                     14:       put(file,b);
                     15:       cont := true;
                     16:     end Write_Bracket;
                     17:     procedure Write_Brackets is new Enumerate_Brackets(Write_Bracket);
                     18:
                     19:   begin
                     20:     Write_Brackets(bm);
                     21:   end put;
                     22:
                     23: end Bracket_Monomials_io;