Return to set_structure_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/set_structure_io.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2:
        !             3: package Set_Structure_io is
        !             4:
        !             5: -- DESCRIPTION :
        !             6: --   This package contains i/o operations of a set structure.
        !             7:
        !             8:   procedure get;
        !             9:   procedure get ( file : in file_type );
        !            10:
        !            11:   -- DESCRIPTION :
        !            12:   --   The set structure will be read from standard input or from file.
        !            13:   --   Example: { x1 } { x1 x2 } { x2 }
        !            14:   --    --> separation of unknowns and delimiters by spaces.
        !            15:
        !            16:   -- REQUIRED :
        !            17:   --   The Symbol_Table must be initialized.
        !            18:
        !            19:   procedure put;
        !            20:   procedure put ( file : in file_type );
        !            21:
        !            22:   -- DESCRIPTION :
        !            23:   --   The set structure is written on standard output or on file.
        !            24:
        !            25: end Set_Structure_io;