Return to partitions_of_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/partitions_of_sets_of_unknowns_io.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Partitions_of_Sets_of_Unknowns;     use Partitions_of_Sets_of_Unknowns;
        !             3:
        !             4: package Partitions_of_Sets_of_Unknowns_io is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package provides i/o operations for partitions of
        !             8: --   set of unknowns.
        !             9:
        !            10:   procedure get ( p : in out Partition );
        !            11:   procedure get ( file : in file_type; p : in out Partition );
        !            12:
        !            13:   -- DESCRIPTION :
        !            14:   --   A partition is read from standard input or from file.
        !            15:
        !            16:   procedure put ( p : in Partition );
        !            17:   procedure put ( file : in file_type; p : in Partition );
        !            18:
        !            19:   -- DESCRIPTION :
        !            20:   --   Writes a partition on standard output or on file.
        !            21:
        !            22: end Partitions_of_Sets_of_Unknowns_io;