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

Allocating NewPolka managers and setting options

datatype: pk_internal_t
NewPolka type for internal managers (specific to NewPolka, and specific to each execution thread in multithreaded programs).

Allocating managers

Function: ap_manager_t* pk_manager_alloc (bool strict)
Allocate a APRON manager linked to the NewPolka library.

The strict option, when true, enables strict constraints (like x>0).

Setting options

Options specific to NEWPOLKA are set directly on the internal manager. It can be extracted with the pk_manager_get_internal function.

Function: pk_internal_t* pk_manager_get_internal (ap_manager_t* man)
Return the internal submanager. If man has not been created by pk_manager_alloc, return NULL.

Function: void pk_set_max_coeff_size (pk_internal_t* pk, size_t size)
If size is not 0, try to raise an AP_EXC_OVERFLOW exception as soon as the size of an integer exceed size.

Very incomplete implementation. Currently, used only in `libpolkag' variant, where the size is the number of limbs as returned by the function mpz_size of the GMP library. This allows to detect huge numbers.

Function: void pk_set_approximate_max_coeff_size (pk_internal_t* pk, size_t size)
This is the parameter to the poly_approximate/ap_abstractX_approximate functions.

Function: size_t pk_get_max_coeff_size (pk_internal_t* pk)
Function: size_t pk_get_approximate_max_coeff_size (pk_internal_t* pk)
Reading the previous parameters.



This document was generated on December, 22 2006 using texi2html