Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/integer_faces_of_polytope_io.adb, Revision 1.1.1.1
1.1 maekawa 1: with integer_io; use integer_io;
2: with Standard_integer_VecVecs; use Standard_integer_VecVecs;
3: with Standard_integer_VecVecs_io; use Standard_integer_VecVecs_io;
4:
5: package body Integer_Faces_of_Polytope_io is
6:
7: procedure put ( f : in Face ) is
8: begin
9: put(Standard_Output,f);
10: end put;
11:
12: procedure put ( file : in file_type; f : in Face ) is
13: begin
14: put(file," spanned by "); put(file,f.all'length,1);
15: put_line(file," points :"); put(file,f.all);
16: end put;
17:
18: procedure put ( f : in Faces ) is
19: begin
20: put(Standard_Output,f);
21: end put;
22:
23: procedure put ( file : in file_type; f : in Faces ) is
24:
25: cnt : natural := 0;
26: tmp : Faces := f;
27:
28: begin
29: while not Is_Null(tmp) loop
30: cnt := cnt + 1;
31: put(file,"Face "); put(file,cnt,1); put(file,Head_Of(tmp));
32: tmp := Tail_Of(tmp);
33: end loop;
34: end put;
35:
36: procedure put ( f : in Array_of_Faces ) is
37: begin
38: put(Standard_Output,f);
39: end put;
40:
41: procedure put ( file : in file_type; f : in Array_of_Faces ) is
42: begin
43: for i in f'range loop
44: if not Is_Null(f(i))
45: then put(file,"faces at component "); put(file,i,1);
46: put_line(file," :"); put(file,f(i));
47: end if;
48: end loop;
49: end put;
50:
51: end Integer_Faces_of_Polytope_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>