Options

External tool:

decides whether PIP [Fea88] or Fourier-Motzkin [Ban93] shall be used to solve parametric integer problems.

Speedup:

avoid calling the external tool whenever possible.

Delete obsolete dependences:

if set, all obsolete dependences (e.g., dependences with empty source/target spaces) will be deleted.

Renumber dependences:

if set, the list of dependences will be renumbered after the calculation is finished (some dependences might be deleted by making use of the delete option as described above).

Display additional warnings:

if set, the dependence module will perform an enhanced set of tests and report several warnings (e.g., if there are some distance vectors among the user-defined dependences which might become negative).

Verbose:

if set, the user will get detailed information about what is going on during the calculations; otherwise only the result will be displayed.

Do not touch user-defined dependences:

if set, the user-defined dependences will not be touched, even if this might be necessary in order to guarantee legal distance vectors.

Handle only user-defined dependences:

if set, the module takes only the user defined dependences into account; no dependences will be calculated by the tool itself.