Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/sets_of_unknowns_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Sets_of_Unknowns; use Sets_of_Unknowns;
3:
4: package Sets_of_Unknowns_io is
5:
6: -- DESCRIPTION :
7: -- This package contains routines for input and output of set of unknows.
8:
9: procedure get ( s : in out Set );
10: procedure get ( file : in file_type; s : in out Set );
11:
12: -- REQUIRED :
13: -- The symbol table must be initialized!
14: -- A set must begin with '{' and end with '}.
15:
16: procedure put ( s : in Set );
17: procedure put ( file : in file_type; s : in Set );
18:
19: end Sets_of_Unknowns_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>