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

__Function:__void**polka_initialize***(bool*`strict`, int`maxdims`, int`maxrows`)- Initialize the global variables of the library.
`strict`indicates the operation mode of polyhedra and allows to set global variables`polka_strict`

and`polka_dec`

properly.`maxdims`and`maxrows`are respectively the maximum dimension of polyhedra and the maximum number of constraints and/or generators in polyhedra. This also means that matrices can have at most`maxrows`rows and that vectors and matrices have at most`polka_dec+maxdims`columns.

__Function:__void**polka_finalize***()*- Frees all the memory allocated for global variables in module
``polka'`.

__Function:__void**polka_set_widening_affine***()*- Select the "affine mode" for the widening operation on polyhedra
(see Widening operators on polyhedra lattice). In the affine
mode, widening is performed on affine polyhedra instead of on
underlying linear cones. Typically,
`x=1`

widened by`1<=x<=2`

will give`x>=1`

in affine mode, whereas it will give`1<=x<=2`

in linear mode.

__Function:__void**polka_set_widening_linear***()*- Select the "linear mode" for the widening operation on polyhedra (see Widening operators on polyhedra lattice). In the linear mode, widening is performed on underlying linear cones, and not on the affine polyhedra they represent. This is the default mode.

This document was generated on