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

Widening of abstract values of level 1

Function: ap_abstract1_t ap_abstract1_widening (ap_manager_t* man, ap_abstract1_t* a1, ap_abstract1_t* a2)
Widening of a1 with a2. a1 is supposed to be included in a2.

Function: ap_abstract1_t ap_abstract1_widening_threshold (ap_manager_t* man, ap_abstract1_t* a1, ap_abstract1_t* a2, ap_lincons1_array_t* array)
Widening with threshold.

Intersect the result of the standard widening with all the constraints in array that are satisfied by both a1 and a2.



This document was generated on September, 10 2009 using texi2html