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     ! 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;