Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/partitions_of_sets_of_unknowns_io.adb, Revision 1.1
1.1 ! maekawa 1: with Sets_of_Unknowns_io; use Sets_of_Unknowns_io;
! 2:
! 3: package body Partitions_of_Sets_of_Unknowns_io is
! 4:
! 5: -- DESCRIPTION :
! 6: -- This package provides i/o operations for partitions of
! 7: -- set of unknowns.
! 8:
! 9: procedure get ( p : in out Partition ) is
! 10: begin
! 11: get(Standard_Input,p);
! 12: end get;
! 13:
! 14: procedure get ( file : in file_type; p : in out Partition ) is
! 15: begin
! 16: for i in p'range loop
! 17: get(file,p(i));
! 18: end loop;
! 19: end get;
! 20:
! 21: procedure put ( p : in Partition ) is
! 22: begin
! 23: put(Standard_Output,p);
! 24: end put;
! 25:
! 26: procedure put ( file : in file_type; p : in Partition ) is
! 27: begin
! 28: for i in p'range loop
! 29: put(file,p(i));
! 30: end loop;
! 31: end put;
! 32:
! 33: end Partitions_of_Sets_of_Unknowns_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>