Return to pieri_trees_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Annotation of OpenXM_contrib/PHC/Ada/Schubert/pieri_trees_io.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;                         use integer_io;
        !             2: with Standard_Natural_Vectors_io;        use Standard_Natural_Vectors_io;
        !             3: with Brackets_io;                        use Brackets_io;
        !             4:
        !             5: package body Pieri_Trees_io is
        !             6:
        !             7:   type Boolean_Array is array ( integer range <> ) of boolean;
        !             8:
        !             9:   procedure put ( nd : in Pieri_Node ) is
        !            10:   begin
        !            11:     put(Standard_Output,nd);
        !            12:   end put;
        !            13:
        !            14:   procedure put ( file : in file_type; nd : in Pieri_Node ) is
        !            15:   begin
        !            16:     put(file,nd.node);
        !            17:     put(file,"(c="); put(file,nd.c,1);
        !            18:     put(file,",i="); put(file,nd.i,1);
        !            19:     put(file,",h="); put(file,nd.h,1); put(file,")");
        !            20:   end put;
        !            21:
        !            22:   procedure put ( lnd : in Link_to_Pieri_Node ) is
        !            23:   begin
        !            24:     put(Standard_Output,lnd);
        !            25:   end put;
        !            26:
        !            27:   procedure put ( file : in file_type; lnd : in Link_to_Pieri_Node ) is
        !            28:   begin
        !            29:     put(file,lnd.all);
        !            30:     if lnd.ancestor /= null
        !            31:      then put(file," > ");
        !            32:           put(file,lnd.ancestor);
        !            33:     end if;
        !            34:   end put;
        !            35:
        !            36:   procedure put ( t : in Pieri_Tree ) is
        !            37:   begin
        !            38:     put(Standard_Output,t);
        !            39:   end put;
        !            40:
        !            41:   procedure put ( t : in Pieri_Tree; level : in natural ) is
        !            42:   begin
        !            43:     put(Standard_Output,t,level);
        !            44:   end put;
        !            45:
        !            46:   procedure put ( file : in file_type;
        !            47:                   t : in Pieri_Tree; level : in natural ) is
        !            48:
        !            49:     procedure Write_Node ( lnd : in Link_to_Pieri_Node;
        !            50:                            continue : out boolean ) is
        !            51:     begin
        !            52:       put(file,lnd.all);
        !            53:       continue := true;
        !            54:     end Write_Node;
        !            55:     procedure Write_Nodes is new Enumerate_Nodes(Write_Node);
        !            56:
        !            57:   begin
        !            58:     Write_Nodes(t,level);
        !            59:   end put;
        !            60:
        !            61:   procedure put ( file : in file_type; t : in Pieri_Tree ) is
        !            62:
        !            63:     h : constant natural := Height(t);
        !            64:
        !            65:   begin
        !            66:     put(file,"Branching at "); put(file,t.branches); new_line(file);
        !            67:     put(file,"Root node : "); put(file,t.root.node); new_line(file);
        !            68:     for i in reverse 1..h loop
        !            69:       put(file,"Nodes at level "); put(file,i,1); put(file," :");
        !            70:       put(file,t,i); new_line(file);
        !            71:     end loop;
        !            72:   end put;
        !            73:
        !            74:   function Last_Child ( nd : Pieri_Node; i : natural ) return boolean is
        !            75:
        !            76:   -- DESCRIPTION :
        !            77:   --   Returns true if the ith child is the last child of the node.
        !            78:
        !            79:   begin
        !            80:     for j in (i+1)..nd.children'last loop
        !            81:       if nd.children(j) /= null
        !            82:        then return false;
        !            83:       end if;
        !            84:     end loop;
        !            85:     return true;
        !            86:   end Last_Child;
        !            87:
        !            88:   procedure Write_Labels ( file : in file_type;
        !            89:                            nd : in Pieri_Node; jump : in natural;
        !            90:                            last : in Boolean_Array ) is
        !            91:
        !            92:   -- DESCRIPTION :
        !            93:   --   Writes the contents of the Pieri node with the jump, taking into
        !            94:   --   account which children appeared last.
        !            95:
        !            96:   begin
        !            97:     if nd.h /= 0
        !            98:      then put(file,"   ");
        !            99:     end if;
        !           100:     for i in 1..(nd.h-1) loop
        !           101:       if last(i)
        !           102:        then put(file,"     ");
        !           103:        else put(file,"|    ");
        !           104:       end if;
        !           105:     end loop;
        !           106:     if nd.h /= 0
        !           107:      then put(file,"!-+"); put(file,jump,1);
        !           108:     end if;
        !           109:     put(file,nd);
        !           110:     new_line(file);
        !           111:   end Write_Labels;
        !           112:
        !           113:   procedure Write_Nodes ( file : in file_type;
        !           114:                           nd : in Pieri_Node; jump : in natural;
        !           115:                           last : in out Boolean_Array ) is
        !           116:
        !           117:   -- DESCRIPTION :
        !           118:   --   Writes the contents of the Pieri node preceded with the index of
        !           119:   --   increase (jump), followed by the information on the children.
        !           120:
        !           121:   begin
        !           122:     Write_Labels(file,nd,jump,last);
        !           123:     for i in nd.children'range loop
        !           124:       if nd.children(i) /= null
        !           125:        then last(nd.h+1) := Last_Child(nd,i);
        !           126:             Write_Nodes(file,nd.children(i).all,i,last);
        !           127:       end if;
        !           128:     end loop;
        !           129:   end Write_Nodes;
        !           130:
        !           131:   procedure Write_Tree ( t : in Pieri_Tree ) is
        !           132:   begin
        !           133:     Write_Tree(Standard_Output,t);
        !           134:   end Write_Tree;
        !           135:
        !           136:   procedure Write_Tree ( file : in file_type; t : in Pieri_Tree ) is
        !           137:
        !           138:     last : Boolean_Array(1..Height(t));
        !           139:
        !           140:   begin
        !           141:     Write_Nodes(file,t.root.all,0,last);
        !           142:   end Write_Tree;
        !           143:
        !           144: end Pieri_Trees_io;