[BACK]Return to deformation_posets_io.ads CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

File: [local] / OpenXM_contrib / PHC / Ada / Schubert / deformation_posets_io.ads (download)

Revision 1.1, Sun Oct 29 17:45:32 2000 UTC (23 years, 7 months ago) by maekawa
Branch point for: MAIN

Initial revision

with text_io;                      use text_io;
with Deformation_Posets;           use Deformation_Posets;

package Deformation_Posets_io is

-- DESCRIPTION :
--   Provides output routines for deformation posets.

  procedure put_size ( poset : in Array_of_Array_of_VecMats );
  procedure put_size
              ( file : in file_type; poset : in Array_of_Array_of_VecMats );

  -- DESCRIPTION :
  --   Writes the length of every vector of matrices, for every level.

end Deformation_Posets_io;