Return to integer_faces_of_polytope_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

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;