![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports / generic_arrays_of_vector_lists.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 Abstract_Ring; with Generic_Vectors; with Generic_VecVecs; with Generic_Lists_of_Vectors; generic with package Ring is new Abstract_Ring(<>); with package Vectors is new Generic_Vectors(Ring); with package VecVecs is new Generic_VecVecs(Ring,Vectors); with package Lists is new Generic_Lists_of_Vectors(Ring,Vectors,VecVecs); package Generic_Arrays_of_Vector_Lists is -- DESCRIPTION : -- This package defines arrays of lists of links to vectors. use Lists; -- DATA STRUCTURES : type Array_of_Lists is array ( integer range <> ) of List; type Link_to_Array_of_Lists is access Array_of_Lists; -- COMPARISON and COPYING : function Equal ( l1,l2 : Array_of_Lists ) return boolean; function Equal ( l1,l2 : Link_to_Array_of_Lists ) return boolean; -- DESCRIPTION : -- Returns true if both arrays have the same lists. procedure Copy ( l1 : in Array_of_Lists; l2 : in out Array_of_Lists ); -- DESCRIPTION : -- After Copy(l1,l2), Equal(l1,l2) holds. -- Of course, this is a deep copy, in constrast to l2 := l1. -- SELECTOR : function Length_Of ( l : Array_of_Lists ) return natural; -- DESCRIPTION : -- Returns the sum of all lengths of the lists in l. -- DESTRUCTORS : procedure Deep_Clear ( l : in out Array_of_Lists ); procedure Shallow_Clear ( l : in out Array_of_Lists ); procedure Deep_Clear ( l : in out Link_to_Array_of_Lists ); procedure Shallow_Clear ( l : in out Link_to_Array_of_Lists ); -- DESCRIPTION : -- Frees allocated memory space. -- With a deep clear, also the content of the lists are cleared, -- while with a shallow clear, only the lists structures will be -- destroyed, the points in the lists will remain. end Generic_Arrays_of_Vector_Lists;