with text_io; use text_io;
with Pieri_Trees; use Pieri_Trees;
package Pieri_Trees_io is
-- DESCRIPTION :
-- This package provides output operations for Pieri trees.
procedure put ( nd : in Pieri_Node );
procedure put ( file : in file_type; nd : in Pieri_Node );
-- DESCRIPTION :
-- Writes the bracket and the triplet (c,i,h).
procedure put ( lnd : in Link_to_Pieri_Node );
procedure put ( file : in file_type; lnd : in Link_to_Pieri_Node );
-- DESCRIPTION :
-- Writes the Pieri node and the whole chain down in the tree.
procedure put ( t : in Pieri_Tree );
procedure put ( file : in file_type; t : in Pieri_Tree );
-- DESCRIPTION :
-- Writes all nodes of the Pieri tree, level by level.
procedure put ( t : in Pieri_Tree; level : in natural );
procedure put ( file : in file_type; t : in Pieri_Tree; level : in natural );
-- DESCRIPTION :
-- Writes all nodes of the Pieri tree at the indicated level.
procedure Write_Tree ( t : in Pieri_Tree );
procedure Write_Tree ( file : in file_type; t : in Pieri_Tree );
-- DESCRIPTION :
-- Writes the Pieri tree in a formatted way.
end Pieri_Trees_io;