Return to mainroco.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/mainroco.ads, Revision 1.1

1.1     ! maekawa     1: procedure mainroco ( infilename,outfilename : in string );
        !             2:
        !             3: -- DESCRIPTION :
        !             4: --   This procedure calls the driver to apply various root counting
        !             5: --   methods to the system.  The arguments are the respective names
        !             6: --   of the input and output files.