Return to integer_faces_of_polytope_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

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;