Return to localization_posets_io.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Schubert |
File: [local] / OpenXM_contrib / PHC / Ada / Schubert / localization_posets_io.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:33 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Brackets; use Brackets; with Localization_Posets; use Localization_Posets; package Localization_Posets_io is -- DESCRIPTION : -- Provides output routines for localization posets. procedure put ( top,bottom : in Bracket; roco : in natural ); procedure put ( file : in file_type; top,bottom : in Bracket; roco : in natural ); -- DESCRIPTION : -- Writes the top and bottom pivots as a couple of brackets, -- added with the root count, without taking a new line. procedure put ( root : in Node; lvl : in natural ); procedure put ( file : in file_type; root : in Node; lvl : in natural ); -- DESCRIPTION : -- Writes all nodes in the poset at the given level. procedure put ( poset : in Node ); procedure put ( file : in file_type; poset : in Node ); -- DESCRIPTION : -- Writes all nodes in the poset, level by level. procedure put ( poset : in Array_of_Nodes ); procedure put ( file : in file_type; poset : in Array_of_Nodes ); -- DESCRIPTION : -- Writes the leveled poset on standard output or on file. procedure put ( poset : in Array_of_Array_of_Nodes ); procedure put ( file : in file_type; poset : in Array_of_Array_of_Nodes ); -- DESCRIPTION : -- Writes the indexed poset on standard output or on file. -- The labels of the children to each node are in curled braces. procedure put_roco ( poset : in Array_of_Array_of_Nodes ); procedure put_roco ( file : in file_type; poset : in Array_of_Array_of_Nodes ); -- DESCRIPTION : -- Writes at each level the root count only. end Localization_Posets_io;