Annotation of OpenXM_contrib/PHC/Ada/Schubert/deformation_posets_io.ads, Revision 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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>