Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/partitions_of_sets_of_unknowns_io.ads, Revision 1.1.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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>