Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/set_structure_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2:
3: package Set_Structure_io is
4:
5: -- DESCRIPTION :
6: -- This package contains i/o operations of a set structure.
7:
8: procedure get;
9: procedure get ( file : in file_type );
10:
11: -- DESCRIPTION :
12: -- The set structure will be read from standard input or from file.
13: -- Example: { x1 } { x1 x2 } { x2 }
14: -- --> separation of unknowns and delimiters by spaces.
15:
16: -- REQUIRED :
17: -- The Symbol_Table must be initialized.
18:
19: procedure put;
20: procedure put ( file : in file_type );
21:
22: -- DESCRIPTION :
23: -- The set structure is written on standard output or on file.
24:
25: end Set_Structure_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>