Annotation of OpenXM_contrib/PHC/Ada/Schubert/deformation_posets_io.adb, Revision 1.1
1.1 ! maekawa 1: with integer_io; use integer_io;
! 2: with Standard_Complex_VecMats; use Standard_Complex_VecMats;
! 3:
! 4: package body Deformation_Posets_io is
! 5:
! 6: procedure put_size ( poset : in Array_of_Array_of_VecMats ) is
! 7: begin
! 8: put_size(Standard_Output,poset);
! 9: end put_size;
! 10:
! 11: procedure put_size
! 12: ( file : in file_type; poset : in Array_of_Array_of_VecMats ) is
! 13:
! 14: np : natural;
! 15: lavm : Link_to_VecMat;
! 16:
! 17: begin
! 18: if poset'last < 10
! 19: then np := 1;
! 20: else np := 2;
! 21: end if;
! 22: for i in poset'range loop
! 23: put(file,"n = "); put(file,i,np); put(file," : ");
! 24: if poset(i) /= null
! 25: then for j in poset(i)'range loop
! 26: lavm := poset(i)(j);
! 27: if lavm = null
! 28: then put(file," 0");
! 29: else put(file," "); put(file,lavm'length,1);
! 30: end if;
! 31: end loop;
! 32: end if;
! 33: new_line(file);
! 34: end loop;
! 35: end put_size;
! 36:
! 37: end Deformation_Posets_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>