Return to partitions_of_sets_of_unknowns_io.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product / partitions_of_sets_of_unknowns_io.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Partitions_of_Sets_of_Unknowns; use Partitions_of_Sets_of_Unknowns; package Partitions_of_Sets_of_Unknowns_io is -- DESCRIPTION : -- This package provides i/o operations for partitions of -- set of unknowns. procedure get ( p : in out Partition ); procedure get ( file : in file_type; p : in out Partition ); -- DESCRIPTION : -- A partition is read from standard input or from file. procedure put ( p : in Partition ); procedure put ( file : in file_type; p : in Partition ); -- DESCRIPTION : -- Writes a partition on standard output or on file. end Partitions_of_Sets_of_Unknowns_io;