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     ! 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;