Return to symbolic_symmetry_group_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Symmetry

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;