Return to postpoco.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Continuation/postpoco.ads, Revision 1.1.1.1

1.1       maekawa     1: procedure postpoco;
                      2:
                      3: -- DESCRIPTION :
                      4: --   Scans the output file of poco for the computed directions,
                      5: --   residuals and estimated multiplicities of the solutions.
                      6: --   This is an intermediate stage in the polyhedral end game.