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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>