Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/integer_faces_of_polytope_io.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Integer_Faces_of_Polytope; use Integer_Faces_of_Polytope;
! 3:
! 4: package Integer_Faces_of_Polytope_io is
! 5:
! 6: -- DESCRIPTION :
! 7: -- Output of faces of integer polytopes.
! 8:
! 9: procedure put ( f : in Face );
! 10: procedure put ( file : in file_type; f : in Face );
! 11:
! 12: procedure put ( f : in Faces );
! 13: procedure put ( file : in file_type; f : in Faces );
! 14:
! 15: procedure put ( f : in Array_of_Faces );
! 16: procedure put ( file : in file_type; f : in Array_of_Faces );
! 17:
! 18: end Integer_Faces_of_Polytope_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>