Return to orbits_of_solutions_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/orbits_of_solutions_io.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;                         use integer_io;
        !             2:
        !             3: package body Orbits_of_Solutions_io is
        !             4:
        !             5:   procedure put ( lorb : in List_of_Orbits ) is
        !             6:   begin
        !             7:     put(Standard_Output,lorb);
        !             8:   end put;
        !             9:
        !            10:   procedure put ( file : in file_type; lorb : in List_of_Orbits ) is
        !            11:
        !            12:     tmp : List_of_Orbits;
        !            13:     totgen,totsols : natural;
        !            14:
        !            15:   begin
        !            16:     tmp := lorb;
        !            17:     if not Is_Null(lorb)
        !            18:      then put_line(file,"------------------------------------------------");
        !            19:           put_line(file,"|    ORBIT INFORMATION OF LIST OF SOLUTIONS    |");
        !            20:          put_line(file,"------------------------------------------------");
        !            21:          put_line(file,"|       TYPE        | NB <> | NB GEN | NB SOLS |");
        !            22:          put_line(file,"------------------------------------------------");
        !            23:          totgen := 0;
        !            24:          totsols := 0;
        !            25:           while not Is_Null(tmp) loop
        !            26:             declare
        !            27:              n : natural := Head_Of(tmp).n;
        !            28:              orbi : Orbit(n) := Head_Of(tmp).all;
        !            29:             begin
        !            30:              put(file,"|  ");
        !            31:              for i in orbi.orb'range loop
        !            32:                put(file,orbi.orb(i),1);
        !            33:                put(file,' ');
        !            34:              end loop;
        !            35:              for i in 1..(17-2*n) loop
        !            36:                put(file,' ');
        !            37:               end loop;
        !            38:              put(file,"|  ");
        !            39:              put(file,orbi.nbdiff,2);
        !            40:              put(file,"   |   ");
        !            41:              put(file,orbi.nbgen,2);  totgen := totgen + orbi.nbgen;
        !            42:              put(file,"   |   ");
        !            43:              put(file,orbi.nbsols,3); totsols := totsols + orbi.nbsols;
        !            44:              put_line(file,"   |");
        !            45:             end;
        !            46:             tmp := Tail_Of(tmp);
        !            47:           end loop;
        !            48:          put_line(file,"------------------------------------------------");
        !            49:          put(file,"| Total number of generating solutions : ");
        !            50:          put(file,totgen,4); put_line(file,"  |");
        !            51:          put(file,"| Total number of solutions generated  : ");
        !            52:          put(file,totsols,4); put_line(file,"  |");
        !            53:          put_line(file,"------------------------------------------------");
        !            54:     end if;
        !            55:   end put;
        !            56:
        !            57: end Orbits_of_Solutions_io;