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

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;