Return to integer_mixed_subdivisions.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/integer_mixed_subdivisions.ads, Revision 1.1.1.1

1.1       maekawa     1: with Generic_Lists;
                      2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      3: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      4: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
                      5:
                      6: package Integer_Mixed_Subdivisions is
                      7:
                      8: -- DESCRIPTION :
                      9: --   This package defines regular mixed subdivisions induced by
                     10: --   integer-valued lifting functions.
                     11:
                     12: -- DATA STRUCTURES :
                     13:
                     14:   type Mixed_Subdivision;              -- list of mixed cells
                     15:   type Link_to_Mixed_Subdivision is access Mixed_Subdivision;
                     16:
                     17:   type Mixed_Cell is record
                     18:     nor : Link_to_Vector;              -- inner normal to the facet
                     19:     pts : Link_to_Array_of_Lists;      -- points that span the cell
                     20:     sub : Link_to_Mixed_Subdivision;   -- subdivision of the cell
                     21:   end record;
                     22:
                     23:   package Lists_of_Mixed_Cells is new Generic_Lists(Mixed_Cell);
                     24:   type Mixed_Subdivision is new Lists_of_Mixed_Cells.List;
                     25:
                     26: -- CREATORS :
                     27:
                     28:   procedure Compute_Inner_Normal ( mic : in out Mixed_Cell );
                     29:
                     30:   -- DESCRIPTION :
                     31:   --   Computes the inner normal ortogonal to the points in mic.
                     32:
                     33:   -- REQUIRED : mic.nor /= null, must already be allocated with
                     34:   --            the appropriate size.
                     35:
                     36:   function Create ( pts : Array_of_Lists; nor : Vector ) return Mixed_Cell;
                     37:   function Create ( pts : Array_of_Lists; nors : List )
                     38:                   return Mixed_Subdivision;
                     39:
                     40:   -- DESCRIPTION :
                     41:   --   Creates the mixed cell(s) of those points whose inner product
                     42:   --   with the given normal(s) is minimal.
                     43:
                     44:   function Create ( pts : Array_of_Lists; mixsub : Mixed_Subdivision )
                     45:                   return Mixed_Subdivision;
                     46:
                     47:   -- DESCRIPTION :
                     48:   --   Takes the normals of the cells in the given mixed subdivision
                     49:   --   and creates the mixed cells by selecting the points whose inner
                     50:   --   product with the normals are minimal.
                     51:
                     52:   procedure Update ( pts : in Array_of_Lists; nor : in Vector;
                     53:                      mixsub,mixsub_last : in out Mixed_Subdivision );
                     54:
                     55:   -- DESCRIPTION :
                     56:   --   Given a tuple of points and a normal, the mixed subdivision will
                     57:   --   be updated: either an existing cell will get additional points,
                     58:   --   if the normal already occurs in the subdivision, or otherwise,
                     59:   --   a new cell will be created and appended to the mixed subdivision.
                     60:
                     61:   procedure Update ( mixsub,mixsub_last : in out Mixed_Subdivision;
                     62:                      cells : in Mixed_Subdivision );
                     63:
                     64:   -- DESCRIPTION :
                     65:   --   Applies the other Update to every element in the list cells,
                     66:   --   to augment or modify the mixed subdivision mixsub.
                     67:
                     68: -- CONSTRUCTORS :
                     69:
                     70:   procedure Copy ( mic1 : in Mixed_Cell; mic2 : in out Mixed_Cell );
                     71:   procedure Copy ( mixsub1 : in Mixed_Subdivision;
                     72:                    mixsub2 : in out Mixed_Subdivision );
                     73:
                     74:   -- DESCRIPTION :
                     75:   --   Makes a deep copy of the cells and the subdivisions.
                     76:
                     77:   procedure Append_Diff ( first,last : in out Mixed_Subdivision;
                     78:                           mic : in Mixed_Cell );
                     79:
                     80:   -- DESCRIPTION :
                     81:   --   Appends a mixed cell to the list of cells first, where
                     82:   --   last points to the last element of the list first.
                     83:   --   The suffix _Diff means that only when the cell does not already
                     84:   --   belong to the list first, it will be appended.
                     85:
                     86:   procedure Concat_Diff ( first,last : in out Mixed_Subdivision;
                     87:                           mixsub : in Mixed_Subdivision );
                     88:
                     89:   -- DESCRIPTION :
                     90:   --   Concatenates all cells in mixsub to the list of cells first,
                     91:   --   last is a pointer to the last cell in first.
                     92:   --   The suffix _Diff means that only when those cells that do not already
                     93:   --   belong to the list first will be appended.
                     94:
                     95:   procedure Construct ( mixsub : in Mixed_Subdivision;
                     96:                         first : in out Mixed_Subdivision );
                     97:   procedure Construct_Diff ( mixsub : in Mixed_Subdivision;
                     98:                              first : in out Mixed_Subdivision );
                     99:
                    100:   -- DESCRIPTION :
                    101:   --   Constructs all cells in the mixed subdivision to the front of
                    102:   --   the list first.
                    103:   --   The suffix _Diff means that only when those cells that do not already
                    104:   --   belong to the list first will be constructed to first.
                    105:
                    106: -- SELECTORS :
                    107:
                    108:   function Equal ( mic1,mic2 : Mixed_Cell ) return boolean;
                    109:   function Equal ( mixsub1,mixsub2 : Mixed_Subdivision ) return boolean;
                    110:   function Equal ( mixsub1,mixsub2 : Link_to_Mixed_Subdivision )
                    111:                  return boolean;
                    112:
                    113:   -- DESCRIPTION :
                    114:   --   Returns true when two mixed cells and mixed subdivisions are equal.
                    115:
                    116:   function Is_In ( mixsub : Mixed_Subdivision; normal : Vector ) return boolean;
                    117:   function Is_In ( mixsub : Mixed_Subdivision; mic : Mixed_Cell )
                    118:                  return boolean;
                    119:
                    120:   -- DESCRIPTION :
                    121:   --   Returns true if normal or cell belongs to the mixed subdivision,
                    122:   --   otherwise false is returned.  When the whole mixed cell is given,
                    123:   --   then not only the normal, but also the points will be checked.
                    124:
                    125: -- DESTRUCTORS :
                    126:
                    127:   procedure Deep_Clear ( mic : in out Mixed_Cell );
                    128:   procedure Deep_Clear ( mixsub : in out Mixed_Subdivision );
                    129:   procedure Deep_Clear ( mixsub : in out Link_to_Mixed_Subdivision );
                    130:   procedure Shallow_Clear ( mic : in out Mixed_Cell );
                    131:   procedure Shallow_Clear ( mixsub : in out Mixed_Subdivision );
                    132:   procedure Shallow_Clear ( mixsub : in out Link_to_Mixed_Subdivision );
                    133:
                    134:   -- DESCRIPTION :
                    135:   --   The memory space allocated will be freed.
                    136:   --   A shallow clear only destroys the list structures,
                    137:   --   while with a deep clear, also the contents of the lists are freed.
                    138:
                    139: end Integer_Mixed_Subdivisions;