with integer_io; use integer_io;
with Standard_Integer_Vectors_io; use Standard_Integer_Vectors_io;
with Standard_Integer_VecVecs; use Standard_Integer_VecVecs;
with Standard_Integer_VecVecs_io; use Standard_Integer_VecVecs_io;
package body Simplices_io is
procedure get ( s : in out Simplex ) is
n : natural;
begin
get(n);
declare
v : VecVec(1..n);
begin
get(n,v);
s := Create(v);
end;
end get;
procedure get ( n : in natural; s : in out Simplex ) is
v : VecVec(1..n);
begin
get(n,v);
s := Create(v);
end get;
procedure get ( file : in file_type; s : in out Simplex ) is
n : natural;
begin
get(file,n);
declare
v : VecVec(1..n);
begin
get(file,n,v);
s := Create(v);
end;
end get;
procedure get ( file : in file_type; n : in natural; s : in out Simplex ) is
v : VecVec(1..n);
begin
get(file,n,v);
s := Create(v);
end get;
procedure put ( s : in Simplex ) is
begin
put(Normal(s)); new_line;
put(Normal(s)'last,1); new_line;
put(Vertices(s));
end put;
procedure put ( file : in file_type; s : in Simplex ) is
begin
put(file,Normal(s)); new_line(file);
put(file,Normal(s)'last,1); new_line(file);
put(file,Vertices(s));
end put;
end Simplices_io;