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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>