Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/sets_of_unknowns_io.ads, Revision 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>