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     ! 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;