Return to dispatch.ads CVS log

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

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

1.1     ! maekawa     1: procedure Dispatch;
        !             2:
        !             3: -- DESCRIPTION :
        !             4: --   This procedure scans the arguments of the command line and calls the
        !             5: --   appropriate drivers.
        !             6: --   The arguments may be
        !             7: --     * the names of the input and output file, given in this order;
        !             8: --     * two different options, preceeded by a hyphen (-).
        !             9: --   The first type of option is one of the following:
        !            10: --     s : scal => scaling of the polynomial system
        !            11: --     d : redu => reduce w.r.t. total degree d
        !            12: --     p : poco => polynomial continuation
        !            13: --     r : roco => root counting methods
        !            14: --     m : mvc  => mixed volume computation
        !            15: --     v : vali => validation of the solutions
        !            16: --   The second option is the `-b', to switch to batch processing or
        !            17: --   black box computation.  This option makes sense in combination with
        !            18: --   the `-p', `-m' and `-v'.
        !            19: --   Calling `phc -b' is equivalent to `phc -b -m' followed by `phc -b -p'.