Return to generic_position.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/generic_position.adb, Revision 1.1

1.1     ! maekawa     1: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
        !             2: with Integer_Support_Functions;          use Integer_Support_Functions;
        !             3: with Power_Lists;                        use Power_Lists;
        !             4:
        !             5: function Generic_Position ( p : Poly_Sys; tv : Tree_of_Vectors )
        !             6:                           return boolean is
        !             7:
        !             8: -- ALGORITHM :
        !             9: --   Because tv contains the useful directions for the mixed volume,
        !            10: --   only the cardinality of the faces of the first support list will be
        !            11: --   checked, for all top directions in tv.
        !            12:
        !            13:   res : boolean := true;
        !            14:   tmp : Tree_of_Vectors := tv;
        !            15:   l : List := Create(p(p'first));
        !            16:
        !            17: begin
        !            18:   while not Is_Null(tmp) loop
        !            19:     declare
        !            20:       nd : Node := Head_Of(tmp);
        !            21:       fc : List;
        !            22:     begin
        !            23:       exit when nd.d'length < Head_Of(l)'length;
        !            24:       fc := Outer_Face(l,nd.d.all);
        !            25:       res := (Length_Of(fc) <= 1);
        !            26:       Deep_Clear(fc);
        !            27:     end;
        !            28:     exit when not res;
        !            29:     tmp := Tail_Of(tmp);
        !            30:   end loop;
        !            31:   return res;
        !            32: end Generic_Position;