Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/integer_mixed_subdivisions_io.ads, Revision 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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>