Return to deformation_posets_io.ads CVS log

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

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

1.1       maekawa     1: with text_io;                      use text_io;
                      2: with Deformation_Posets;           use Deformation_Posets;
                      3:
                      4: package Deformation_Posets_io is
                      5:
                      6: -- DESCRIPTION :
                      7: --   Provides output routines for deformation posets.
                      8:
                      9:   procedure put_size ( poset : in Array_of_Array_of_VecMats );
                     10:   procedure put_size
                     11:               ( file : in file_type; poset : in Array_of_Array_of_VecMats );
                     12:
                     13:   -- DESCRIPTION :
                     14:   --   Writes the length of every vector of matrices, for every level.
                     15:
                     16: end Deformation_Posets_io;