Return to floating_integer_convertors.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/floating_integer_convertors.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Integer_Vectors;
        !             2: with Standard_Floating_Vectors;
        !             3: with Lists_of_Integer_Vectors;
        !             4: with Lists_of_Floating_Vectors;
        !             5: with Arrays_of_Integer_Vector_Lists;
        !             6: with Arrays_of_Floating_Vector_Lists;
        !             7: with Integer_Mixed_Subdivisions;
        !             8: with Floating_Mixed_Subdivisions;
        !             9:
        !            10: package Floating_Integer_Convertors is
        !            11:
        !            12: -- DESCRIPTION :
        !            13: --   This package provides routines to convert lists of integer and floating-
        !            14: --   point vectors into lists of floating-point and integer vectors.
        !            15: --   The conversion from float to integer is done by merely rounding.
        !            16:
        !            17:   function Convert ( v : Standard_Integer_Vectors.Vector )
        !            18:                    return Standard_Floating_Vectors.Vector;
        !            19:   function Convert ( v : Standard_Floating_Vectors.Vector )
        !            20:                    return Standard_Integer_Vectors.Vector;
        !            21:
        !            22:   function Convert ( l : Lists_of_Integer_Vectors.List )
        !            23:                    return Lists_of_Floating_Vectors.List;
        !            24:   function Convert ( l : Lists_of_Floating_Vectors.List )
        !            25:                    return Lists_of_Integer_Vectors.List;
        !            26:
        !            27:   function Convert ( l : Arrays_of_Integer_Vector_Lists.Array_of_Lists )
        !            28:                    return Arrays_of_Floating_Vector_Lists.Array_of_Lists;
        !            29:   function Convert ( l : Arrays_of_Floating_Vector_Lists.Array_of_Lists )
        !            30:                    return Arrays_of_Integer_Vector_Lists.Array_of_Lists;
        !            31:
        !            32:   function Convert ( m : Integer_Mixed_Subdivisions.Mixed_Cell )
        !            33:                    return Floating_Mixed_Subdivisions.Mixed_Cell;
        !            34:   function Convert ( m : Floating_Mixed_Subdivisions.Mixed_Cell )
        !            35:                    return Integer_Mixed_Subdivisions.Mixed_Cell;
        !            36:
        !            37:   function Convert ( s : Integer_Mixed_Subdivisions.Mixed_Subdivision )
        !            38:                    return Floating_Mixed_Subdivisions.Mixed_Subdivision;
        !            39:   function Convert ( s : Floating_Mixed_Subdivisions.Mixed_Subdivision )
        !            40:                    return Integer_Mixed_Subdivisions.Mixed_Subdivision;
        !            41:
        !            42: end Floating_Integer_Convertors;