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     ! 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;