Return to partitions_of_sets_of_unknowns_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/partitions_of_sets_of_unknowns_io.adb, Revision 1.1.1.1

1.1       maekawa     1: with Sets_of_Unknowns_io;                use Sets_of_Unknowns_io;
                      2:
                      3: package body Partitions_of_Sets_of_Unknowns_io is
                      4:
                      5: -- DESCRIPTION :
                      6: --   This package provides i/o operations for partitions of
                      7: --   set of unknowns.
                      8:
                      9:   procedure get ( p : in out Partition ) is
                     10:   begin
                     11:     get(Standard_Input,p);
                     12:   end get;
                     13:
                     14:   procedure get ( file : in file_type; p : in out Partition ) is
                     15:   begin
                     16:     for i in p'range loop
                     17:       get(file,p(i));
                     18:     end loop;
                     19:   end get;
                     20:
                     21:   procedure put ( p : in Partition ) is
                     22:   begin
                     23:     put(Standard_Output,p);
                     24:   end put;
                     25:
                     26:   procedure put ( file : in file_type; p : in Partition ) is
                     27:   begin
                     28:     for i in p'range loop
                     29:       put(file,p(i));
                     30:     end loop;
                     31:   end put;
                     32:
                     33: end Partitions_of_Sets_of_Unknowns_io;