Return to valipoco.ads CVS log

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

Initial revision

with text_io;                            use text_io;

procedure valipoco ( pocofile,resultfile : in file_type );

-- DESCRIPTION :
--   This is an intermediate stage in the polyhedral end game.
--   Scans the output file of poco for the computed directions,
--   residuals and estimated multiplicities of the solutions.
--   Computes the frequency table of path directions.