Return to valipoco.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Continuation/valipoco.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2:
        !             3: procedure valipoco ( pocofile,resultfile : in file_type );
        !             4:
        !             5: -- DESCRIPTION :
        !             6: --   This is an intermediate stage in the polyhedral end game.
        !             7: --   Scans the output file of poco for the computed directions,
        !             8: --   residuals and estimated multiplicities of the solutions.
        !             9: --   Computes the frequency table of path directions.