Return to integer_mixed_subdivisions_io.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_io.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      3: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
                      4:
                      5: package Integer_Mixed_Subdivisions_io is
                      6:
                      7: -- DESCRIPTION :
                      8: --   This package provides some routines for i/o of mixed subdivisions.
                      9:
                     10:   procedure get ( n,m : in natural; mic : out Mixed_Cell );
                     11:   procedure get ( file : in file_type;
                     12:                   n,m : in natural; mic : out Mixed_Cell );
                     13:
                     14:   -- DESCRIPTION :
                     15:   --   Reads the normal and for each list of points, the length
                     16:   --   of the list and the list itself from standard input or from file.
                     17:
                     18:   procedure get ( n,m : out natural; mixed_type : out Link_to_Vector;
                     19:                   mixsub : out Mixed_Subdivision );
                     20:   procedure get ( file : in file_type; n,m : out natural;
                     21:                   mixed_type : out Link_to_Vector;
                     22:                   mixsub : out Mixed_Subdivision );
                     23:
                     24:   -- DESCRIPTION :
                     25:   --   Reads the dimension, the number of different supports,
                     26:   --   the type of mixture, the number of mixed cells and the mixed
                     27:   --   subdivision from standard input or from file.
                     28:
                     29:   procedure put ( n : in natural; mix : in Vector; mic : in Mixed_Cell );
                     30:   procedure put ( n : in natural; mix : in Vector; mic : in out Mixed_Cell;
                     31:                   mv : out natural);
                     32:   procedure put ( file : in file_type;
                     33:                   n : in natural; mix : in Vector; mic : in Mixed_Cell );
                     34:   procedure put ( file : in file_type;
                     35:                   n : in natural; mix : in Vector; mic : in out Mixed_Cell;
                     36:                   mv : out natural );
                     37:
                     38:   -- DESCRIPTION :
                     39:   --   Puts the normal, the length of each point list and the
                     40:   --   points belonging to the cell on standard output or on file.
                     41:   --   More text banners are provided when the parameter `mv' is supplied.
                     42:   --   This `mv' contains the mixed volume of the cell on return.
                     43:   --   When the mixed volume is computed, eventually the cell is refined.
                     44:
                     45:   procedure put ( n : in natural; mix : in Vector;
                     46:                   mixsub : in Mixed_Subdivision );
                     47:   procedure put ( n : in natural; mix : in Vector;
                     48:                   mixsub : in out Mixed_Subdivision; mv : out natural );
                     49:   procedure put ( file : in file_type; n : in natural; mix : in Vector;
                     50:                   mixsub : in Mixed_Subdivision );
                     51:   procedure put ( file : in file_type; n : in natural; mix : in Vector;
                     52:                   mixsub : in out Mixed_Subdivision; mv : out natural );
                     53:
                     54:   -- DESCRIPTION :
                     55:   --   Puts the dimension, the type of mixture, the number of mixed
                     56:   --   cells and the mixed subdivision on file or on standard output.
                     57:   --   More text banners are provided when the parameter `mv' is supplied.
                     58:   --   This `mv' contains the mixed volume of the cell on return.
                     59:   --   When the mixed volume is computed, eventually the cells are refined.
                     60:
                     61: end Integer_Mixed_Subdivisions_io;