![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports / generic_lists_of_vectors_io.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:27 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 Abstract_Ring_io; with Generic_Vectors; with Generic_Vectors_io; with Generic_VecVecs; with Generic_Lists_of_Vectors; generic with package Ring_io is new Abstract_Ring_io(<>); with package Vectors is new Generic_Vectors(Ring_io.Ring); with package Vectors_io is new Generic_Vectors_io(Ring_io,Vectors); with package VecVecs is new Generic_VecVecs(Ring_io.Ring,Vectors); with package Lists is new Generic_Lists_of_Vectors(Ring_io.Ring,Vectors,VecVecs); package Generic_Lists_of_Vectors_io is -- DESCRIPTION : -- Input/Output of lists of links to vectors. use Lists; procedure get ( n,m : in natural; l : out List ); procedure get ( file : in file_type; n,m : in natural; l : out List ); -- DESCRIPTION : -- Reads m vectors of length n from standard output or from file. procedure put ( l : in List ); procedure put ( file : in file_type; l : in List ); -- DESCRIPTION : -- Writes the vectors in l on standard output or on file. end Generic_Lists_of_Vectors_io;