Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/simplices_io.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Simplices; use Simplices;
! 3:
! 4: package Simplices_io is
! 5:
! 6: -- DESCRIPTION :
! 7: -- Input/output routines for simplices spanned by integer vertices.
! 8:
! 9: procedure get ( s : in out Simplex );
! 10: procedure get ( n : in natural; s : in out Simplex );
! 11: procedure get ( file : in file_type; s : in out Simplex );
! 12: procedure get ( file : in file_type; n : in natural; s : in out Simplex );
! 13:
! 14: -- DESCRIPTION :
! 15: -- Reads the dimension n if not specified as parameter,
! 16: -- and then n integer vectors of length n, from standard input
! 17: -- or from file.
! 18:
! 19: procedure put ( s : in Simplex );
! 20: procedure put ( file : in file_type; s : in Simplex );
! 21:
! 22: -- DESCRIPTION :
! 23: -- Writes the n vectors that span the simplex on standard output
! 24: -- or on file.
! 25:
! 26: end Simplices_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>