![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product / sets_of_unknowns_io.ads (download)
Revision 1.1, Sun Oct 29 17:45:29 2000 UTC (23 years, 10 months ago) by maekawa
Initial revision |
with text_io; use text_io; with Sets_of_Unknowns; use Sets_of_Unknowns; package Sets_of_Unknowns_io is -- DESCRIPTION : -- This package contains routines for input and output of set of unknows. procedure get ( s : in out Set ); procedure get ( file : in file_type; s : in out Set ); -- REQUIRED : -- The symbol table must be initialized! -- A set must begin with '{' and end with '}. procedure put ( s : in Set ); procedure put ( file : in file_type; s : in Set ); end Sets_of_Unknowns_io;