Return to trees_of_vectors.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/trees_of_vectors.ads, Revision 1.1.1.1

1.1       maekawa     1: with Generic_Lists;
                      2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      3:
                      4: package Trees_of_Vectors is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package provides a data abstraction for working
                      8: --   with trees of vectors.
                      9:
                     10: -- THE DATA STRUCTURES :
                     11:
                     12:   type Tree_of_Vectors;
                     13:   type Link_to_Tree_of_Vectors is access Tree_of_Vectors;
                     14:
                     15:   type node is record
                     16:     d : Link_to_Vector;
                     17:     ltv : Link_to_Tree_of_Vectors;
                     18:   end record;
                     19:
                     20:   package Link_to_Vector_Trees is new Generic_Lists(node);
                     21:   type Tree_of_Vectors is new Link_to_Vector_Trees.List;
                     22:
                     23: -- SELECTORS :
                     24:
                     25:   function Is_In ( tv : Tree_of_Vectors; v : Vector ) return boolean;
                     26:   function Is_In ( tv : Tree_of_Vectors; v : Link_to_Vector ) return boolean;
                     27:
                     28:   -- DESCRIPTION :
                     29:   --   returns true if v belongs to the top level of the tree.
                     30:
                     31:   generic
                     32:
                     33:     with procedure Process ( nd : in node; continue : out boolean );
                     34:
                     35:   procedure Iterator ( tv : in Tree_of_Vectors );
                     36:
                     37:   -- DESCRIPTION :
                     38:   --   A walk through the tree will be made, left branch first.
                     39:
                     40: -- DESTRUCTORS :
                     41:
                     42:   procedure Clear ( nd : in out node );
                     43:   procedure Clear ( tv : in out Tree_of_Vectors );
                     44:   procedure Clear ( ltv : in out Link_to_Tree_of_Vectors );
                     45:
                     46:   -- DESCRIPTION :
                     47:   --   All allocated memory space will be freed.
                     48:
                     49: end Trees_of_Vectors;