Return to brackets_io.ads CVS log

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

Initial revision

with text_io,Brackets;         use text_io,Brackets;

package Brackets_io is

-- DESCRIPTION :
--   This package provides input/output operations for brackets.

  procedure get ( b : in out Bracket );
  procedure get ( file : in file_type; b : in out Bracket );
  procedure get ( b : in out Bracket; sign : out integer );
  procedure get ( file : in file_type; b : in out Bracket; sign : out integer );

  -- DESCRIPTION :
  --   Expects as many natural number as the length of b,
  --   either from Standard_Input or from file if specified.
  --   Optionally, the sign of the permutation to order the entries
  --   is returned.

  procedure put ( b : in Bracket );
  procedure put ( file : in file_type; b : in Bracket );

  -- DESCRIPTION :
  --   Writes down the entries in the bracket, either on
  --   Standard_Output or on file if specified.

end Brackets_io;