[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
The strict option, when true, enables strict constraints in polyhedra
(like x>0
). Managers in strict mode or in loose mode
(strict constraints disabled) are not compatible, and so are
corresponding abstract values.
Most options which makes sense for convex polyhedra are meaningless for linear equalities. It is better to set the standard options associated to functions so that abstract values are in canonical form (see section NewPolka standard options). This is the default anyway.
Options specific to NEWPOLKA are set directly on the internal
manager. It can be extracted with the pk_manager_get_internal
function.
pk_manager_alloc
or pkeq_manager_alloc
, return NULL
.
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.
poly_approximate
/ap_abstractX_approximate
functions.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |