Return to simplices_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/simplices_io.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;                        use integer_io;
        !             2: with Standard_Integer_Vectors_io;       use Standard_Integer_Vectors_io;
        !             3: with Standard_Integer_VecVecs;          use Standard_Integer_VecVecs;
        !             4: with Standard_Integer_VecVecs_io;       use Standard_Integer_VecVecs_io;
        !             5:
        !             6: package body Simplices_io is
        !             7:
        !             8:   procedure get ( s : in out Simplex ) is
        !             9:
        !            10:     n : natural;
        !            11:
        !            12:   begin
        !            13:     get(n);
        !            14:     declare
        !            15:       v : VecVec(1..n);
        !            16:     begin
        !            17:       get(n,v);
        !            18:       s := Create(v);
        !            19:     end;
        !            20:   end get;
        !            21:
        !            22:   procedure get ( n : in natural; s : in out Simplex ) is
        !            23:
        !            24:     v : VecVec(1..n);
        !            25:
        !            26:   begin
        !            27:     get(n,v);
        !            28:     s := Create(v);
        !            29:   end get;
        !            30:
        !            31:   procedure get ( file : in file_type; s : in out Simplex ) is
        !            32:
        !            33:     n : natural;
        !            34:
        !            35:   begin
        !            36:     get(file,n);
        !            37:     declare
        !            38:       v : VecVec(1..n);
        !            39:     begin
        !            40:       get(file,n,v);
        !            41:       s := Create(v);
        !            42:     end;
        !            43:   end get;
        !            44:
        !            45:   procedure get ( file : in file_type; n : in natural; s : in out Simplex ) is
        !            46:
        !            47:     v : VecVec(1..n);
        !            48:
        !            49:   begin
        !            50:     get(file,n,v);
        !            51:     s := Create(v);
        !            52:   end get;
        !            53:
        !            54:   procedure put ( s : in Simplex ) is
        !            55:   begin
        !            56:     put(Normal(s)); new_line;
        !            57:     put(Normal(s)'last,1); new_line;
        !            58:     put(Vertices(s));
        !            59:   end put;
        !            60:
        !            61:   procedure put ( file : in file_type; s : in Simplex ) is
        !            62:   begin
        !            63:     put(file,Normal(s)); new_line(file);
        !            64:     put(file,Normal(s)'last,1); new_line(file);
        !            65:     put(file,Vertices(s));
        !            66:   end put;
        !            67:
        !            68: end Simplices_io;