Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/integer_faces_of_polytope_io.ads, Revision 1.1.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>