Return to unfolding_subdivisions.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/unfolding_subdivisions.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      2: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      3: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
                      4: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
                      5:
                      6: package Unfolding_Subdivisions is
                      7:
                      8: -- DESCRIPTION :
                      9: --   This package contains routines to unfold subdivisions.
                     10:
                     11:   function Different_Normals ( mixsub : Mixed_Subdivision ) return List;
                     12:
                     13:   -- DESCRIPTION :
                     14:   --   Returns the list of all different normals of the cells in mixsub.
                     15:
                     16:   function Extract ( normal : vector; mixsub : Mixed_Subdivision )
                     17:                    return Mixed_Subdivision;
                     18:
                     19:   -- DESCRIPTION :
                     20:   --   Returns a list of cells with the given normal.
                     21:
                     22:   function Merge_Same_Normal ( mixsub : Mixed_Subdivision ) return Mixed_Cell;
                     23:   function Merge_Same_Normal ( mixsub : Mixed_Subdivision )
                     24:                              return Mixed_Subdivision;
                     25:
                     26:   -- DESCRIPTION :
                     27:   --   All cells with the same inner normal will be put in one cell,
                     28:   --   that will be contained in the mixed subdivision on return.
                     29:   --   The refinement of the cells will be discarded.
                     30:
                     31:   -- REQUIRED :
                     32:   --   not Is_Null(mixsub) and all mixed cells have the same inner normal.
                     33:
                     34:   function Merge ( mixsub : Mixed_Subdivision ) return Mixed_Subdivision;
                     35:
                     36:   -- DESCRIPTION :
                     37:   --   All cells with the same inner normal will be put in one cell.
                     38:   --   For cells whose inner normal occurs more than once, the refinement
                     39:   --   will be discarded.
                     40:
                     41:   function Relift ( mixsub : Mixed_Subdivision; point : Vector )
                     42:                   return Mixed_Subdivision;
                     43:
                     44:   -- DESCRIPTION :
                     45:   --   Returns a new mixed subdivision, derived from the original one,
                     46:   --   where all points different from the given point will be given
                     47:   --   lifting value zero.  The given point will receive lifting value 1.
                     48:
                     49:   generic
                     50:
                     51:     with procedure Process ( mic : in Mixed_Cell; newpts : in Array_of_Lists );
                     52:     -- DESCRIPTION :
                     53:     --   Returns the new mixed cell, with the new re-lifted points.
                     54:
                     55:   procedure Unfolding ( mixsub : in out Mixed_Subdivision );
                     56:
                     57:   -- DESCRIPTION :
                     58:   --   A collection of cells, all with the same normal, will be unfolded.
                     59:
                     60: end Unfolding_Subdivisions;