[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
These functions do not have corresponding functions into underlying libraries.
The reference should not be freed.
dest is an optional argument. If not NULL, semantically speaking, the result of the transformation is intersected with dest. This is useful for precise backward transformations in lattices like intervals or octagons.
Intersect the result of the standard widening with all the constraints in array that are satisfied by both a1 and a2.