Initialization and finalization functions

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.