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

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;