Return to sets_of_unknowns_io.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/sets_of_unknowns_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Sets_of_Unknowns;                   use Sets_of_Unknowns;
                      3:
                      4: package Sets_of_Unknowns_io is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package contains routines for input and output of set of unknows.
                      8:
                      9:   procedure get ( s : in out Set );
                     10:   procedure get ( file : in file_type; s : in out Set );
                     11:
                     12:   -- REQUIRED :
                     13:   --   The symbol table must be initialized!
                     14:   --   A set must begin with '{' and end with '}.
                     15:
                     16:   procedure put ( s : in Set );
                     17:   procedure put ( file : in file_type; s : in Set );
                     18:
                     19: end Sets_of_Unknowns_io;