Return to transformations_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/transformations_io.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Transformations;                    use Transformations;
        !             3:
        !             4: package Transformations_io is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   Input/output routines for transformations.
        !             8:
        !             9:   procedure get ( n : in natural; t : out Transfo );
        !            10:   procedure get ( file : in file_type; n : in natural; t : out Transfo );
        !            11:
        !            12:   -- DESCRIPTION :
        !            13:   --   Reads n vectors from standard input or from file.
        !            14:   --   These vectors are considered as the images of
        !            15:   --   the basis vectors under the transformation t.
        !            16:
        !            17:   procedure put ( t : in Transfo );
        !            18:   procedure put ( file : in file_type; t : in Transfo );
        !            19:
        !            20:   -- DESCRIPTION :
        !            21:   --   Writes the images of the basis vectors under t.
        !            22:
        !            23: end Transformations_io;