Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/symbolic_symmetry_group_io.ads, Revision 1.1.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>