Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/partitions_of_sets_of_unknowns_io.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Partitions_of_Sets_of_Unknowns; use Partitions_of_Sets_of_Unknowns;
! 3:
! 4: package Partitions_of_Sets_of_Unknowns_io is
! 5:
! 6: -- DESCRIPTION :
! 7: -- This package provides i/o operations for partitions of
! 8: -- set of unknowns.
! 9:
! 10: procedure get ( p : in out Partition );
! 11: procedure get ( file : in file_type; p : in out Partition );
! 12:
! 13: -- DESCRIPTION :
! 14: -- A partition is read from standard input or from file.
! 15:
! 16: procedure put ( p : in Partition );
! 17: procedure put ( file : in file_type; p : in Partition );
! 18:
! 19: -- DESCRIPTION :
! 20: -- Writes a partition on standard output or on file.
! 21:
! 22: end Partitions_of_Sets_of_Unknowns_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>