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