Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/symbolic_symmetry_group_io.ads, Revision 1.1
1.1 ! maekawa 1: with text_io; use text_io;
! 2: with Permutations,Symmetry_Group; use Permutations,Symmetry_Group;
! 3:
! 4: package Symbolic_Symmetry_Group_io is
! 5:
! 6: -- DESCRIPTION :
! 7: -- This package contains routines for input and output of permutations
! 8: -- and groups of permutations, with the use of the symbol table.
! 9: -- This means that symbols rather than positions are read and written.
! 10:
! 11: -- REQUIRED : The symbol table may not be empty!
! 12:
! 13: procedure get ( p : in out Permutation );
! 14: procedure get ( file : in file_type; p : in out Permutation );
! 15:
! 16: -- DESCRIPTION :
! 17: -- Reads a permutation from standard input or from file.
! 18: -- When read from standard input, the get will ask the user to retry
! 19: -- until a valid permutation is entered.
! 20:
! 21: procedure get ( l : in out List_of_Permutations; n,nb : in natural );
! 22: procedure get ( file : in file_type;
! 23: l : in out List_of_Permutations; n,nb : in natural );
! 24:
! 25: -- DESCRIPTION :
! 26: -- Reads a list of permutations from standard in put or from file.
! 27: -- When read from file, nonvalid permutations are ignored.
! 28: -- When read from standard input, the get askes the user to retry
! 29: -- until a valid permutation is entered.
! 30:
! 31: -- ON ENTRY :
! 32: -- n the number of elements in the permutations;
! 33: -- nb the total number of permutations that must be read.
! 34:
! 35: procedure put ( p : in Permutation );
! 36: procedure put ( file : in file_type; p : in Permutation );
! 37:
! 38: -- DESCRIPTION :
! 39: -- Writes a permutation on standard output or on file.
! 40:
! 41: procedure put ( l : in List_of_Permutations );
! 42: procedure put ( file : in file_type; l : in List_of_Permutations );
! 43:
! 44: -- DESCRIPTION :
! 45: -- Writes a list of permutations on standard output or on file.
! 46:
! 47: end Symbolic_Symmetry_Group_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>