[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Global variables

The public read-only global variables initialized by the function polka_initialize are the following ones:
Variable: bool polka_strict
True iff. strict inequalities are enable. This requires an additional dimension in vectors and matrices, and modifies emptiness and universality tests.
Variable: const int polka_cst
Indicates the index of the constant coefficient. Should be always 1, weather strict inequalities are enabled or not.
Variable: const int polka_eps
Indicates the index of the epsilon coefficient. Should be 2.
Variable: int polka_dec
Indicates the index of the first "normal" coefficient; 2 if polka_strict is false, 3 otherwise.
Variable: int polka_maxnbdims
Maximum number of dimensions allowed in polyhedra
Variable: int polka_maxnbrows
Maximum number of rows allowed in matrices.
Variable: int polka_maxcolumns
Maximum number of columns allowed in vectors and matrices.



This document was generated on October, 27 2006 using texi2html