[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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.
For instance, the unification of 1<=x<=3 and x=y
defined on
{ x, y }
and 2<=z<=4 and z=y
defined on
{y,z }
results in 2<=x<=3 and x=y=z
defined on
{x,y,z}
.
This implies calls to ap_abstract0_bound_dimension
.
This implies calls to ap_abstract0_bound_dimension
.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |