Return to face_structures.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/face_structures.ads, Revision 1.1

1.1     ! maekawa     1: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
        !             2: with Integer_Faces_of_Polytope;          use Integer_Faces_of_Polytope;
        !             3: with Triangulations;                     use Triangulations;
        !             4:
        !             5: package Face_Structures is
        !             6:
        !             7: -- DESCRIPTION :
        !             8: --   This package offers a data abstraction to work with face
        !             9: --   structures of tuples of polytopes.
        !            10:
        !            11: -- DATA STRUCTURES :
        !            12:
        !            13:   type Face_Structure is record
        !            14:     l,last : List;      -- l contains the lifted points of the faces,
        !            15:                         -- last is a pointer to the last element of l
        !            16:     t : Triangulation;  -- triangulation of the points in l
        !            17:     f : Faces;          -- k-faces of conv(l)
        !            18:   end record;
        !            19:   type Array_of_Face_Structures is array(integer range <>) of Face_Structure;
        !            20:
        !            21: -- CONSTRUCTOR :
        !            22:
        !            23:   procedure Compute_New_Faces
        !            24:                  ( fs : in out Face_Structure; k,n : in natural;
        !            25:                    point : in out Link_to_Vector; newfs : out Faces );
        !            26:
        !            27:   -- DESCRIPTION :
        !            28:   --   Given a point, the new faces will be computed and returned.
        !            29:
        !            30:   -- ON ENTRY :
        !            31:   --   fs          a face structure;
        !            32:   --   k           dimension of the faces to generate;
        !            33:   --   n           dimension without the lifting;
        !            34:   --   point       point that has to be in all the faces.
        !            35:
        !            36:   -- ON RETURN :
        !            37:   --   fs          face structure with updated triangulation,
        !            38:   --               the new faces are not added, also the list is not updated;
        !            39:   --   point       lifted conservatively w.r.t. fs.t;
        !            40:   --   newfs       k-faces, which all contain the given point.
        !            41:
        !            42: -- FLATTENING OPERATIONS :
        !            43:
        !            44:   procedure Flatten ( l : in out List );
        !            45:   procedure Flatten ( f : in out Face );
        !            46:   procedure Flatten ( fs : in out Faces );
        !            47:   procedure Flatten ( fs : in out Face_Structure );
        !            48:   procedure Flatten ( fs : in out Array_of_Face_Structures );
        !            49:
        !            50:   -- DESCRIPTION :
        !            51:   --   These operations are use to flatten face structures.
        !            52:
        !            53: -- SELECTORS :
        !            54:
        !            55:   function Is_In ( fs : Face_Structure; point : vector ) return boolean;
        !            56:
        !            57:   -- DESCRIPTION :
        !            58:   --   Returns true if the point belongs to the face structure.
        !            59:
        !            60: -- DESTRUCTORS :
        !            61:
        !            62:   procedure Deep_Clear    ( fs : in out Face_Structure );
        !            63:   procedure Shallow_Clear ( fs : in out Face_Structure );
        !            64:   procedure Deep_Clear    ( fs : in out Array_of_Face_Structures );
        !            65:   procedure Shallow_Clear ( fs : in out Array_of_Face_Structures );
        !            66:
        !            67: end Face_Structures;